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 1 von 3
    Datensatz exportieren als...
  • BibTeX
Logic : a foundation for computer science
International computer science series
1991
Signatur: TVA2178

Details

Autor(en) / Beteiligte
Titel
Logic : a foundation for computer science
Ist Teil von
  • International computer science series
Ort / Verlag
Wokingham [u.a.] : Addison-Wesley
Erscheinungsjahr
1991
Sprache
Englisch
Identifikatoren
ISBN: 0201565145
OCLC-Nummer: 610999443, 610999443
Titel-ID: 990005762220106463
Format
XII, 495 S. : graph. Darst.
Systemstelle
TCL, TVA
Schlagworte
Logische Programmierung, Klausellogik, Horn-Klausel, Abstrakter Datentyp, Algebraische Spezifikation, Termersetzungssystem, Programmverifikation, Hoare-Logik

Lade weitere Informationen...