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 : after 25 years ; [proceedings of the Special Session on Automatic Theorem Proving, 89. annual meeting of the American Mathematical Society, held in Denver, Colo., January 5 - 9, 1983
Contemporary mathematics : 29 (Alle Bände)
1984
Signatur: TBR1664-29
    Datensatz exportieren als...
  • BibTeX
Automated theorem proving
Artificial intelligence
2., rev. ed, 1987
Signatur: TCL3246(2)
    Datensatz exportieren als...
  • BibTeX
Tableau, Tableauresolution und Tableaugraphresolution : ein neuer Weg zur automatischen Deduktion
Europäische Hochschulschriften : Reihe 41 : 6 (Alle Bände)
1991
Signatur: M5753
    Datensatz exportieren als...
  • BibTeX
Proceedings / ... International Conference on Automated Deduction
Lecture notes in computer science : ...
1984-
    Datensatz exportieren als...
  • BibTeX
Special issue: CADE 1996
Information and computation : 162 (Alle Bände)
2000
Signatur: 64i1
    Datensatz exportieren als...
  • BibTeX
Principles of automated theorem proving
Wiley professional computing
1991
Signatur: TVM2877
    Datensatz exportieren als...
  • BibTeX
Automated reasoning : 33 basic research problems
1. [Dr.], 1988
Signatur: TVU4049
    Datensatz exportieren als...
  • BibTeX
Automated reasoning : essays in honor of Woody Bledsoe
Automated reasoning series : 1 (Alle Bände)
1991
Signatur: TTQB1012
    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
Mechanical geometry theorem proving
Mathematics and its applications : 41 (Alle Bände)
1988
Signatur: TGA2136
    Datensatz exportieren als...
  • BibTeX
The presentation of formal proofs
GMD-Berichte : 278 (Alle Bände)
1997
Signatur: TUF1018-278
    Datensatz exportieren als...
  • BibTeX
Rewriting techniques and applications : proceedings
1985-1989
    Datensatz exportieren als...
  • BibTeX
The resolution calculus
Texts in theoretical computer science
1997
Signatur: TVH2416
    Datensatz exportieren als...
  • BibTeX
Computable set theory
The international series of monographs on computer science : ...
1989-
Signatur: TCL3791-...
    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
Non-standard logics for automated reasoning
1988
Signatur: TAY860902
    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
Higher order logic and hardware verification
Cambridge tracts in theoretical computer science : 31 (Alle Bände)
1993
Signatur: TVE2843
    Datensatz exportieren als...
  • BibTeX
Automatisierung von Terminierungsbeweisen
Künstliche Intelligenz
1991
Signatur: TVM2534
    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
Mechanical theorem proving in geometries : basic principles
Texts and monographs in symbolic computation
1994
Signatur: TGD1533
    Datensatz exportieren als...
  • BibTeX
Machine proofs in geometry : automated production of readable proofs for geometry theorems
Series on applied mathematics : 6 (Alle Bände)
1994
Signatur: TGA2372
    Datensatz exportieren als...
  • BibTeX
The church rosser property in computer algebra and special theorem proving : an investigation of critical pair, completion algorithms
Dissertationen der Johannes-Kepler-Universität Linz : 49 (Alle Bände)
1984
Signatur: TVH1949
    Datensatz exportieren als...
  • BibTeX
Journal of automated reasoning
1985-
1 – 25 von 150
Suche als RSS-Feed
Suchergebnisse filtern
Filter anzeigen