Computer science logic 13th international workshop, CSL '99, 8th annual conference of the EACSL, Madrid, Spain, September 20 - 25, 1999 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Format:	Tagungsbericht Buch
Sprache:	English
Veröffentlicht:	Berlin u.a. Springer 1999
Schriftenreihe:	Lecture notes in computer science 1683
Schlagworte:	Fundamentele informatica Logica Logique informatique - Congrès Logique symbolique et mathématique - Congrès Programmeertalen complexité lambda calcul logique informatique logique temporelle programmation en logique théorie type Logik Computer logic > Congresses Komplexitätstheorie Theoretische Informatik Logische Programmierung Programmierlogik Konferenzschrift > 1999 > Madrid
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge