Constraints in computational logics : first international conference, CCL '94, Munich, Germany, September 7-9, 1994. Proceedings

Podrobná bibliografie

Další autoři:	Jouannaud, Jean-Pierre, 1947- (Editor)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer-Verlag, 1994
Edice:	Lecture notes in computer science ; 845
ISBN:	3-540-58403-X
Témata:	programování matematická logika teorie programů
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!