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
The classical decision problem
Perspectives in mathematical logic
1997
Signatur: TCL4543
    Datensatz exportieren als...
  • BibTeX
Computer Science Logic : 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings [Elektronische Ressource]
Lecture Notes in Computer Science : 5771
2009
    Datensatz exportieren als...
  • BibTeX
Logic and Automata : History and Perspectives
2008
    Datensatz exportieren als...
  • BibTeX
Automata Logics, and Infinite Games : A Guide to Current Research [Elektronische Ressource]
2002
    Datensatz exportieren als...
  • BibTeX
Finite Model Theory and Its Applications [Elektronische Ressource]
Texts in Theoretical Computer Science an EATCS Series
2007
    Datensatz exportieren als...
  • BibTeX
Finite Model Theory and Its Applications [electronic resource]
1st ed. 2007, 2007
1 – 6 von 6
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen