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
Foundations of computing : system development with set theory and logic
International computer science series
1994
Signatur: TVA2348
    Datensatz exportieren als...
  • BibTeX
Introduction to mathematical logic : set theory, computable functions, model theory
Undergraduate texts in mathematics
1979
Signatur: TVD1559
    Datensatz exportieren als...
  • BibTeX
Logik für Software-Ingenieure
Programmierung komplexer Systeme : 3 (Alle Bände)
1991
Signatur: TVC1449
    Datensatz exportieren als...
  • BibTeX
Mathematical logic for computer science
1989
Signatur: TVD1779
    Datensatz exportieren als...
  • BibTeX
Logic for mathematicians
Revised ed., repr, 1989
Signatur: TVD1525
    Datensatz exportieren als...
  • BibTeX
Formalisieren und beweisen : Logik für Informatiker
1990
Signatur: TVD1800
    Datensatz exportieren als...
  • BibTeX
Logic for mathematicians
1978
Signatur: TVD1525
    Datensatz exportieren als...
  • BibTeX
Decision procedures : an algorithmic point of view
Texts in theoretical computer science
2008
Signatur: TVD2319
    Datensatz exportieren als...
  • BibTeX
Logic and structure
Universitext
5. ed, 2013
Signatur: TVD1591(5)
    Datensatz exportieren als...
  • BibTeX
In the light of logic
Logic and computation in philosophy
1998
Signatur: TBP4086
    Datensatz exportieren als...
  • BibTeX
Logik
Im Klartext : Informatik
2003
Signatur: TVD2220
    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
Logic for problem solving
The computer science library : Artificial intelligence series : 7 (Alle Bände)
1979
Signatur: TVD1630
    Datensatz exportieren als...
  • BibTeX
Mathematical logic and programming languages
Prentice-Hall international series in computer science
1985
Signatur: TVD1703
    Datensatz exportieren als...
  • BibTeX
Logic and its applications
1996
Signatur: TVD2042
1 – 15 von 15
Suche als RSS-Feed
Aktive Filter
Autor / AutorinSchöning, Uwe
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen