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
First order logic and automated theorem proving
Graduate texts in computer science
2. ed, 1996
Signatur: TVD1787(2)
    Datensatz exportieren als...
  • BibTeX
First order logic and automated theorem proving
Texts and monographs in computer science
1990
Signatur: TVD1787
    Datensatz exportieren als...
  • BibTeX
Charakterisierung von Sprachklassen unendlicher Spuren durch Logiken
1994
Signatur: D10149
    Datensatz exportieren als...
  • BibTeX
Mathematisch-strukturelle Grundlagen der Informatik : mit 71 Tabellen
Springer-Lehrbuch
2. Aufl, 2001
Signatur: TVD2115(2)
    Datensatz exportieren als...
  • BibTeX
Logikkalküle
Leitfäden der angewandten Mathematik und Mechanik : 43 (Alle Bände), Teubner Studienbücher : Informatik
1. Aufl, 1978
Signatur: TVD1509
    Datensatz exportieren als...
  • BibTeX
Truth, deduction and computation : logic and semantics for computer science
Principles of computer science series
1. [Dr.], 1989
Signatur: TVD1795
1 – 6 von 6
Suche als RSS-Feed
Aktive Filter
SchlagwortPrädikatenlogik
Suchergebnisse filtern
Filter anzeigen