Logic Programming and Automated Reasoning Enlarge image

Logic Programming and Automated Reasoning

Andrei Voronkov
okładka miękka
350,50 zł

Sprowadzamy na zamówienie


Do koszyka

Opis produktu

Logic Programming and Automated Reasoning - Andrei Voronkov


Contains the proceedings of the conference on Logic Programming and Automated Reasoning, held in St Petersburg, July, 1992. The aim of the conference was to bring together researchers from the Russian and the international logic and theorem proving communities.

Szczegóły

Logic Programming and Automated Reasoning

Andrei Voronkov
lipiec 1992
Springer-Verlag GmbH
528
354055727X
9783540557272
235 x 155 x 28

Recenzje

Napisz własną recenzję
Logic Programming and Automated Reasoning - Andrei Voronkov

Historia przeglądania

Ostatnio przeglądane przedmioty