Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Sortiert nach
    Datensatz exportieren als...
  • BibTeX
Decidability and generalized quantifiers
Mathematical research : 3 (Alle Bände)
1980
Signatur: TCL3107
    Datensatz exportieren als...
  • BibTeX
Complexité et décidabilité
Mathématiques & applications : 12 (Alle Bände)
1993
Signatur: TVM3213
    Datensatz exportieren als...
  • BibTeX
The decision problem : solvable classes of quantificational formulas
1979
Signatur: TCL3076
    Datensatz exportieren als...
  • BibTeX
Forever undecided : a puzzle guide to Gödel
Oxford paperbacks
1988
Signatur: TBX2945
    Datensatz exportieren als...
  • BibTeX
The collected works of Julia Robinson
[Collected works series] : 6 (Alle Bände)
1996
Signatur: TAWR1205
    Datensatz exportieren als...
  • BibTeX
Decision problems for equational theories of relation algebras
Memoirs of the American Mathematical Society : 604 (Alle Bände)
1997
Signatur: TBR1389-604
    Datensatz exportieren als...
  • BibTeX
A Computational logic handbook
Perspectives in computing : 23 (Alle Bände)
1. [Dr.], 1988
Signatur: TVH2076
    Datensatz exportieren als...
  • BibTeX
The structure of decidable locally finite varieties
Progress in mathematics : 79 (Alle Bände)
1989
Signatur: TCL3733
    Datensatz exportieren als...
  • BibTeX
Deducibility and decidability
1990
Signatur: TCL3848
    Datensatz exportieren als...
  • BibTeX
Computational logic : essays in honor of Alan Robinson
1991
Signatur: TTQR1012
    Datensatz exportieren als...
  • BibTeX
Decidability and Boolean representations
Memoirs of the American Mathematical Society : 246 (Alle Bände)
1981
    Datensatz exportieren als...
  • BibTeX
Petri-Netze
eXamen-press
2. Aufl, 2008
Signatur: TVG1677(2)
    Datensatz exportieren als...
  • BibTeX
Theoretische Informatik, Petri-Netze
Springer-Lehrbuch
2003
Signatur: TVG1619
    Datensatz exportieren als...
  • BibTeX
Entscheidbarkeit bei Petri Netzen : Überblick und Kompendium [Elektronische Ressource]
eXamen.press
2008
    Datensatz exportieren als...
  • BibTeX
Petri-Netze [Elektronische Ressource]
eXamen.press
2. Auflage, 2008
1 – 15 von 15
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen