Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers (Csl '92, San Miniato, Italy, September 28-october 2, 1992 - Selected Papers) - Lecture Notes in Computer Science

Egon Bvrger

Cena

₪ 257,25

Zamówione z odległego magazynu

Przewidywana dostawa 4 - 13 gru

Świąteczne prezenty można zwracać do 31 stycznia

Nasi klienci mówią:

14-dniowa polityka zwrotów zgodnie z europejskim prawem ochrony konsumentów

Najwyższa ocena na Trustpilot

Dodaj do swojej listy życzeń iMusic

Computer Science Logic: 6th Workshop, Csl'92, San Miniato, Italy, September 28 - October 2, 1992, Selected Papers (Csl '92, San Miniato, Italy, September 28-october 2, 1992 - Selected Papers) - Lecture Notes in Computer Science

The proceedings of a computer science logic workshop, this volume covers such topics as Turing machines, the logic of proofs, linear logic, optimization problems, the semantics of C, classes for a functional language, sconing and relators, NP-completeness and fixpoint logic.

439 pages, biography

Media	Książki Paperback Book (Książka z miękką okładką i klejonym grzbietem)
Wydane	11 sierpnia 1993
ISBN13	9783540569923
Wydawcy	Springer-Verlag Berlin and Heidelberg Gm
Strony	439
Wymiary	155 × 233 × 23 mm · 639 g
Redaktor	Borger, Egon
Redaktor	Buning, Hans Kleine
Redaktor	Jager, Gerhard
Redaktor	Martini, Simone
Redaktor	Richter, Michael M.

Pokaż wszystko

Więcej od Egon Bvrger

Zobacz wszystko od Egon Bvrger ( np. Paperback Book )