Logic programming formal methods and practical applications

Gespeichert in:
Bibliographische Detailangaben
Weitere Verfasser: Beierle, Christoph (HerausgeberIn)
Format: UnknownFormat
Sprache:eng
Veröffentlicht: Amsterdam, Oxford u.a. North Holland 1995
Schriftenreihe:Studies in computer science and artificial intelligence 11
Schlagworte:
Online Zugang:Inhaltstext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Includes bibliographies
Beschreibung:XIV, 404 S.
graph. Darst.
25 cm
ISBN:0444820922
0-444-82092-2