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
Ergebnis 7 von 58
    Datensatz exportieren als...
  • BibTeX
Clausal form logic : an introd. to the logic of computer reasoning
International computer science series
1989
Signatur: TVC1392

Details

Autor(en) / Beteiligte
Titel
Clausal form logic : an introd. to the logic of computer reasoning
Ist Teil von
  • International computer science series
Ort / Verlag
Sydney [u.a.] : Addison-Wesley
Erscheinungsjahr
1989
Sprache
Englisch
Identifikatoren
ISBN: 0201129205
OCLC-Nummer: 634359505, 634359505
Titel-ID: 990004971010106463
Format
XIII, 359 S. : graph. Darst.
Systemstelle
TVC
Schlagworte
Klausellogik

Lade weitere Informationen...