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
Computability and logic
Mathematics and its applications
1987
Signatur: TVI1693
    Datensatz exportieren als...
  • BibTeX
Mathematical logic and foundations of set theory : proceedings of an international colloquium ..., Jerusalem, 11 - 14 November 1968
Studies in logic and the foundation of mathematics
1970
Signatur: TAY1306
    Datensatz exportieren als...
  • BibTeX
Introduction to languages, machines and logic : computable languages, abstract machines and formal logic ; [easy to read, non-mathematical approach
2002
Signatur: TVM4413
    Datensatz exportieren als...
  • BibTeX
Logic and language models for computer science
2002
Signatur: TVC1708
    Datensatz exportieren als...
  • BibTeX
Elements of the theory of computation
Prentice-Hall international editions
2. ed, 1998
Signatur: TVB2157(2)
    Datensatz exportieren als...
  • BibTeX
Computation Engineering : Applied Automata Theory and Logic [Elektronische Ressource]
2006
    Datensatz exportieren als...
  • BibTeX
Fields of Logic and Computation : Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday [Elektronische Ressource]
Lecture Notes in Computer Science : 6300
2010
1 – 7 von 7
Suche als RSS-Feed
Aktive Filter
SchlagwortAutomat
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen