Logical foundations of computer science international symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009 ; proceedings

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	LFCS (BerichterstatterIn)
Weitere Verfasser:	Artemov, Sergei (BerichterstatterIn), Nerode, Anil (BerichterstatterIn, HerausgeberIn), Artemov, Sergej N. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2009
Schriftenreihe:	Lecture notes in computer science 5407
Schlagworte:	Computer science > Logic, Symbolic and mathematical > Konferenzschrift > Informatik > Logik > Logische Programmierung > Berechnungskomplexität > Computational logic
Online Zugang:	Inhaltsverzeichnis Cover Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!