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
Logic and language models for computer science
2002
Signatur: TVC1708
    Datensatz exportieren als...
  • BibTeX
Logic with Prolog
Oxford applied mathematics and computing science series
1988
Signatur: TVC1407
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker : eine Einführung
Leitfäden und Monographien der Informatik
2., durchges. Aufl, 1992
Signatur: TVC1457(2)
    Datensatz exportieren als...
  • BibTeX
Logik für Informatiker
Informatik : Logik
2006
Signatur: TVC1790
    Datensatz exportieren als...
  • BibTeX
Mathematical logic for computer science
(2. ed.), 4. print, 2004
Signatur: TVC1473(2)
    Datensatz exportieren als...
  • BibTeX
Grundlagen der formalen Logik
2., überarb. Aufl, 2001
Signatur: TVC1782(2)
    Datensatz exportieren als...
  • BibTeX
Sweet reason : a field guide to modern logic
Textbooks in mathematical sciences
2000
Signatur: TVC1677
1 – 7 von 7
Suche als RSS-Feed
Aktive Filter
SchlagwortInformatik
SchlagwortMathematische Logik
Suchergebnisse filtern
Filter anzeigen