KIRJAUDU

ostoskori

avaa valikko

Andrei+Voronkov | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 35 tuotetta
Haluatko tarkentaa hakukriteerejä?

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING - 20TH INTERNATIONAL CONFERENCE, LPAR-20 2015, SUVA, FIJI, NOVEMBE

Martin Davis; Ansgar Fehnker; Annabelle McIver; Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Pehmeäkantinen kirja

51,40 €

HANDBOOK OF AUTOMATED REASONING

J. Alan Robinson; Andrei Voronkov
MIT Press (2015)
Kovakantinen kirja

58,50 €

HANDBOOK OF AUTOMATED REASONING

J. Alan Robinson; Andrei Voronkov
MIT Press (2015)
Kovakantinen kirja

12,40 €

HANDBOOK OF AUTOMATED REASONING

J. Alan Robinson; Andrei Voronkov
MIT Press (2017)
Kovakantinen kirja

38,00 €

PERSPECTIVES OF SYSTEMS INFORMATICS - 6TH INTERNATIONAL ANDREI ERSHOV MEMORIAL CONFERENCE, PSI 2006, NOVOSIBIRSK, RUSSIA, JUNE 2

Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

LOGIC PROGRAMMING AND AUTOMATED REASONING - 4TH INTERNATIONAL CONFERENCE, LPAR'93, ST.PETERSBURG, RUSSIA, JULY 13-20, 1993. PROC

Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1993)
Pehmeäkantinen kirja

51,40 €

LOGIC PROGRAMMING - FIRST RUSSIAN CONFERENCE ON LOGIC PROGRAMMING, IRKUTSK, RUSSIA, SEPTEMBER 14-18, 1990. SECOND RUSSIAN CONFER

Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1992)
Pehmeäkantinen kirja

51,40 €

LOGIC PROGRAMMING AND AUTOMATED REASONING - INTERNATIONAL CONFERENCE LPAR '92, ST.PETERSBURG, RUSSIA, JULY 15-20, 1992. PROCEEDI

Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1992)
Pehmeäkantinen kirja

51,40 €

AUTOMATED DEDUCTION - CADE-18 - 18TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION, COPENHAGEN, DENMARK, JULY 27-30, 2002 PROC

Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2002)
Pehmeäkantinen kirja

51,40 €

REWRITING TECHNIQUES AND APPLICATIONS - 19TH INTERNATIONAL CONFERENCE, RTA 2008 HAGENBERG, AUSTRIA, JULY 15-17, 2008, PROCEEDING

Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2008)
Pehmeäkantinen kirja

51,40 €

PROGRAMMING LOGICS - ESSAYS IN MEMORY OF HARALD GANZINGER

Andrei Voronkov; Christoph Weidenbach
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2013)
Pehmeäkantinen kirja

51,40 €

PERSPECTIVES OF SYSTEM INFORMATICS - 9TH INTERNATIONAL ERSHOV INFORMATICS CONFERENCE, PSI 2014, ST. PETERSBURG, RUSSIA, JUNE 24-

Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2015)
Pehmeäkantinen kirja

51,40 €

PROGRAMMING LOGICS

Andrei Voronkov; Christoph Weidenbach
Springer (2013)
Pehmeäkantinen kirja

117,20 €

HANDBOOK OF AUTOMATED REASONING

Alan J.A. Robinson; Andrei Voronkov
Elsevier Science & Technology (2001)
Kovakantinen kirja

235,80 €

COMPUTER SCIENCE - THEORY AND APPLICATIONS - SECOND INTERNATIONAL SYMPOSIUM ON COMPUTER SCIENCE IN RUSSIA, CSR 2007, EKATERINBUR

Volker Diekert; Mikhail Volkov; Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING - 10TH INTERNATIONAL CONFERENCE, LPAR 2003, ALMATY, KAZAKHSTAN, SE

Moshe Vardi; Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2003)
Pehmeäkantinen kirja

51,40 €

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING - 8TH INTERNATIONAL CONFERENCE, LPAR 2001, HAVANA, CUBA, DECEMBER

Robert Nieuwenhuis; Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2001)
Pehmeäkantinen kirja

101,40 €

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING - 14TH INTERNATIONAL CONFERENCE, LPAR 2007, YEREVAN, ARMENIA, OCTO

Nachum Dershowitz; Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2007)
Pehmeäkantinen kirja

51,40 €

LOGIC PROGRAMMING AND AUTOMATED REASONING - 6TH INTERNATIONAL CONFERENCE, LPAR'99, TBILISI, GEORGIA, SEPTEMBER 6-10, 1999, PROCE

Harald Ganzinger; David McAllester; Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1999)
Pehmeäkantinen kirja

51,40 €

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING - 11TH INTERNATIONAL WORKSHOP, LPAR 2004, MONTEVIDEO, URUGUAY, MAR

Franz Baader; Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2005)
Pehmeäkantinen kirja

101,40 €

Hae lisää...

Logic for Programming, Artificial Intelligence, and Reasoning - 20th International Conference, LPAR-20 2015, Suva, Fiji, Novembe

Martin Davis, Ansgar Fehnker, Annabelle McIver, Andrei Voronkov

51,40 €

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Sivumäärä: 640 sivua
Asu: Pehmeäkantinen kirja
Painos: 1st ed. 2015
Julkaisuvuosi: 2015, 03.12.2015 (lisätietoa)
Kieli: Englanti
Tuotesarja: Theoretical Computer Science and General Issues

This book constitutes the proceedings of the 20th
International Conference on Logic for Programming, Artificial Intelligence, and
Reasoning, LPAR-20, held in November 2015, in Suva, Fiji.

The 43 regular papers presented together with 1 invited
talk included in this volume were carefully reviewed and selected from 92
submissions. The series of International Conferences on Logic for Programming,
Artificial Intelligence and Reasoning, LPAR, is a forum where, year after year,
some of the most renowned researchers in the areas of logic, automated
reasoning, computational logic, programming languages and their applications
come to present cutting-edge results, to discuss advances in these fields, and
to exchange ideas in a scientifically emerging part of the world.

LISÄÄ OSTOSKORIIN

Tilaustuote
Arvioimme, että tuote lähetetään meiltä noin 3-4 viikossa

Myymäläsaatavuus