KIRJAUDU

ostoskori

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

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

59,60 €

HANDBOOK OF AUTOMATED REASONING

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

12,50 €

HANDBOOK OF AUTOMATED REASONING

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

38,70 €

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

Andrei Voronkov (ed.)
Springer (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 (ed.)
Springer (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 (ed.)
Springer (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 (ed.)
Springer (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 (ed.)
Springer (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

119,10 €

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 (ed.); Andrei Voronkov (ed.)
Springer (2003)
Pehmeäkantinen kirja

51,40 €

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

Robert Nieuwenhuis (ed.); Andrei Voronkov (ed.)
Springer (2001)
Pehmeäkantinen kirja

101,40 €

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

Nachum Dershowitz (ed.); Andrei Voronkov (ed.)
Springer (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 (ed.); David McAllester (ed.); Andrei Voronkov (ed.)
Springer (1999)
Pehmeäkantinen kirja

51,40 €

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

Franz Baader (ed.); Andrei Voronkov (ed.)
Springer (2005)
Pehmeäkantinen kirja

101,40 €

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

Michel Parigot (ed.); Andrei Voronkov (ed.)
Springer (2000)
Pehmeäkantinen kirja

51,40 €

Hae lisää...

Handbook of Automated Reasoning

J. Alan Robinson, Andrei Voronkov

59,60 €

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