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
Automated theorem proving : a logical basis
Fundamental studies in computer science : 6 (Alle Bände)
1978
Signatur: TCL2957
    Datensatz exportieren als...
  • BibTeX
Automated theorem proving
Artificial intelligence
2., rev. ed, 1987
Signatur: TCL3246(2)
    Datensatz exportieren als...
  • BibTeX
Automated theorem-proving in non-classical logics
Research notes in theoretical computer science
1988
Signatur: TCL3652
    Datensatz exportieren als...
  • BibTeX
A many-sorted calculus based on resolution and paramodulation
Research notes in artificial intelligence
1987
Signatur: TCL3636
    Datensatz exportieren als...
  • BibTeX
Automated development of fundamental mathematical theories
Automated reasoning series : 2 (Alle Bände)
1992
Signatur: TCL4006
    Datensatz exportieren als...
  • BibTeX
Automated deduction in multiple valued logics
The International series of monographs on computer science : 10 (Alle Bände), Oxford science publications
1993
Signatur: TVC1499
    Datensatz exportieren als...
  • BibTeX
Grundlagen des maschinellen Beweisens : eine Einführung für Informatiker und Mathematiker
2., verb. Aufl, 1991
Signatur: TCL3775(2)
    Datensatz exportieren als...
  • BibTeX
Computable set theory
The international series of monographs on computer science : ...
1989-
Signatur: TCL3791-...
    Datensatz exportieren als...
  • BibTeX
Proof methods for modal and intuitionistic logics
Synthese library : 169 (Alle Bände)
1983
Signatur: TCL3301
    Datensatz exportieren als...
  • BibTeX
Automated theorem proving
1982
Signatur: TCL3246
1 – 10 von 10
Suche als RSS-Feed
Aktive Filter
SystemstelleTCX
SchlagwortAutomatisches Beweisverfahren
Suchergebnisse filtern
Filter anzeigen