Napredno iskanje

Naslovnica: Logic-Based Program Synthesis and Transformation

Domov / Knjiga

Logic-Based Program Synthesis and Transformation

9th International Workshop, LOPSTR'99, Venice, Italy, September 22-24, 1999 Selected Papers (Lecture Notes in Computer Science)

Založnik: Springer

Cena knjige 55,28 EUR

ISBN9783540676287

VezavaMehka vezava

RazpoložljivostNa zalogi

Datum izdaje22. junij 2000

Strani313

Brezplačna dostava v Slovenijo.

Naroči knjigo

Kategorije

Mathematical Logic and Formal Languages Programming Techniques (incl. Robotics) Artificial Intelligence Logic design Logics and Meanings of Programs