Colog-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings. Questo articolo non è disponibile.
Lingua: inglese
Editore: Springer, 1990
- Brossura
- Nuovo
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Venditore con 5 stelle
Venditore AbeBooks dal 6 aprile 2009
Non disponibile
Brossura
Condizione: Nuovo
EUR 84,41
Codice articolo 5906507-n
- Titolo
- Colog-88 : International Conference on Computer Logic, Tallinn, USSR, December 12-16, 1988, Proceedings
- Autore
- Martin-Lof, Per; Mints, Grigori (EDT)
- Editore
- Springer
- Anno di pubblicazione
- 1990
- Condizione
- New
- Rilegatura
- Brossura
- Lingua
- inglese
- ISBN 10
- 3540523359
- ISBN 13
- 9783540523352
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
"Riassunto" può appartenere a un’altra edizione di questo titolo.
Dalla quarta di copertina
This volume contains several invited papers as well as a selection of the other contributions. The conference was the first meeting of the Soviet logicians interested in com- puter science with their Western counterparts. The papers report new results and techniques in applications of deductive systems, deductive program synthesis and analysis, computer experiments in logic related fields, theorem proving and logic programming. It provides access to intensive work on computer logic both in the USSR and in Western countries.
"Descrizione articolo" può appartenere a un’altra edizione di questo titolo.