Computational logic essays in honor of Alan Robinson

Gespeichert in:

Bibliographische Detailangaben
Weitere Verfasser:	Lassez, Jean-Louis (HerausgeberIn), Robinson, John A. (GefeierteR), Plotkin, Gordon (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Cambridge, Mass. u.a. MIT Press 1991
Schlagworte:	Mathematical theory of computation > Programming: general > Aufsatzsammlung > Festschrift > Automatisches Beweisverfahren > Logische Programmierung > Computational logic
Online Zugang:	Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!