KIRJAUDU

ostoskori

avaa valikko

Andrei Voronkov | Akateeminen Kirjakauppa

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

HANDBOOK OF AUTOMATED REASONING

Tekijä: J. Alan Robinson; Andrei Voronkov
Kustantaja: MIT Press (2015)
Saatavuus: Ei tiedossa

EUR 57,00

HANDBOOK OF AUTOMATED REASONING

Tekijä: J. Alan Robinson; Andrei Voronkov
Kustantaja: MIT Press (2017)
Saatavuus: Ei tiedossa

EUR 37,00

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

Tekijä: Andrei Voronkov (ed.)
Kustantaja: Springer (2007)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Andrei Voronkov (ed.)
Kustantaja: Springer (1993)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Andrei Voronkov (ed.)
Kustantaja: Springer (1992)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Andrei Voronkov (ed.)
Kustantaja: Springer (2002)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

HANDBOOK OF AUTOMATED REASONING

Tekijä: J. Alan Robinson; Andrei Voronkov
Kustantaja: MIT Press (2015)
Saatavuus: Ei tiedossa

EUR 12,00

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

Tekijä: Andrei Voronkov (ed.)
Kustantaja: Springer (2015)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

PROGRAMMING LOGICS

Tekijä: Andrei Voronkov; Christoph Weidenbach
Kustantaja: Springer (2013)
Saatavuus: Ei tiedossa

EUR 114,80

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

Tekijä: Volker Diekert (ed.); Mikhail Volkov (ed.); Andrei Voronkov (ed.)
Kustantaja: Springer (2007)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Moshe Vardi (ed.); Andrei Voronkov (ed.)
Kustantaja: Springer (2003)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Andrei Voronkov (ed.)
Kustantaja: Springer (1992)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING : 9TH INTERNATIONAL CONFERENCE, LPAR 2002, TBILISI, GEORGIA, OCTOB

Tekijä: Matthias Baaz (ed.); Andrei Voronkov (ed.)
Kustantaja: Springer (2002)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

TRANSACTIONS AND CHANGE IN LOGIC DATABASES - INTERNATIONAL SEMINAR ON LOGIC DATABASES AND THE MEANING OF CHANGE, SCHLOSS DAGSTUH

Tekijä: Burkhard Freitag; Hendrik Decker; Michael Kifer; Andrei Voronkov
Kustantaja: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG (1998)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

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

Tekijä: Andrei Voronkov (ed.)
Kustantaja: Springer (2008)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING : 15TH INTERNATIONAL CONFERENCE, LPAR 2008, DOHA, QATAR, NOVEMBER

Tekijä: Iliano Cervesato (ed.); Helmut Veith (ed.); Andrei Voronkov (ed.)
Kustantaja: Springer (2008)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

PERSPECTIVES OF SYSTEMS INFORMATICS : 7TH INTERNATIONAL ANDREI ERSHOV MEMORIAL CONFERENCE, PSI 2009, NOVOSIBIRSK, RUSSIA, JUNE 1

Tekijä: Amir Pnueli (ed.); Andrei Voronkov (ed.)
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING : 17TH INTERNATIONAL CONFERENCE, LPAR-17, YOGYAKARTA, INDONESIA, O

Tekijä: Christian G. Fermüller (ed.); Andrei Voronkov (ed.)
Kustantaja: Springer (2010)
Saatavuus: Noin 17-20 arkipäivää

EUR 97,90

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING : 16TH INTERNATIONAL CONFERENCE, LPAR-16, DAKAR, SENEGAL, APRIL 25

Tekijä: Edmund M. Clarke (ed.); Andrei Voronkov (ed.)
Kustantaja: Springer (2011)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING : 18TH INTERNATIONAL CONFERENCE, LPAR-18, MERIDA, VENEZUELA, MARCH

Tekijä: Nikolaj Bjørner (ed.); Andrei Voronkov (ed.)
Kustantaja: Springer (2012)
Saatavuus: Noin 17-20 arkipäivää

EUR 49,60

Hae lisää...

Handbook of Automated Reasoning

J. Alan Robinson, Andrei Voronkov

57,00 €

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

Tuotteella ei tuotekuvausta.

LISÄÄ OSTOSKORIIN

Kirjan painos kustantajalta loppu. Mahdollisesta uudesta painoksesta ei vielä tietoa. 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