KIRJAUDU

ostoskori

avaa valikko

Andrei Voronkov | Akateeminen Kirjakauppa

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

HANDBOOK OF AUTOMATED REASONING

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

57,80 €

HANDBOOK OF AUTOMATED REASONING

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

12,20 €

HANDBOOK OF AUTOMATED REASONING

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

37,50 €

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

49,60 €

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

49,60 €

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

49,60 €

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

49,60 €

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

49,60 €

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

49,60 €

PROGRAMMING LOGICS - ESSAYS IN MEMORY OF HARALD GANZINGER

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

49,60 €

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

49,60 €

PROGRAMMING LOGICS

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

116,10 €

HANDBOOK OF AUTOMATED REASONING

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

227,60 €

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

49,60 €

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

49,60 €

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

97,90 €

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

49,60 €

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

49,60 €

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

97,90 €

LOGIC FOR PROGRAMMING AND AUTOMATED REASONING - 7TH INTERNATIONAL CONFERENCE, LPAR 2000 REUNION ISLAND, FRANCE, NOVEMBER 6-10, 2

Michel Parigot; Andrei Voronkov
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (2000)
Pehmeäkantinen kirja

49,60 €

Hae lisää...

Handbook of Automated Reasoning

J. Alan Robinson, Andrei Voronkov

57,80 €

MIT Press
Sivumäärä: 2150 sivua
Asu: Kovakantinen kirja
Julkaisuvuosi: 2015, 28.04.2015 (lisätietoa)

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma. Seuraa saatavuutta.

Myymäläsaatavuus

Helsinki

Tapiola

Turku

Tampere

Näytä kaikki tuotetiedot

ISBN:

9780262182232

Aihealue:

Ulkomaiset kirjat » Computers » Artificial Intelligence

Sisäänkirjautuminen

Kirjaudu sisään
Rekisteröityminen

Oma tili

Omat tiedot
Omat tilaukset
Omat laskut

Lisätietoja

Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste