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...
Zur Ergebnisliste
    Datensatz exportieren als...
  • BibTeX
Automated theorem-proving in non-classical logics
Research notes in theoretical computer science
1988
Signatur: TCL3652

Details

Autor(en) / Beteiligte
Titel
Automated theorem-proving in non-classical logics
Ist Teil von
  • Research notes in theoretical computer science
Ort / Verlag
London : Pitman [u.a.]
Erscheinungsjahr
1988
Link zu anderen Inhalten
Sprache
Englisch
Identifikatoren
ISBN: 0273087819, 0470210060
OCLC-Nummer: 632838901, 632838901
Titel-ID: 990004735900106463
Format
154 S. : graph. Darst.
Systemstelle
TCL
Schlagworte
Automatisches Beweisverfahren, Nonstandard-Logik

Lade weitere Informationen...