Automated Reasoning

First International Joint Conference, IJCAR 2001 Siena, Italy, June 18-23, 2001 Proceedings

AvTobias Nipkow,Alexander Leitsch

E-bok
PDF, Engelska, 2003

1 427 kr

Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).

Produktinformation

Utforska kategorier

Hoppa över listan

Du kanske också är intresserad av

David Duenas-Cid, Uwe Serdult, Manik Hapsara, Rajeev Gore, Veronique Cortier, Melanie Volkamer, Robert Krimmer - Electronic Voting, E-bok

Electronic Voting

David Duenas-Cid, Uwe Serdult, Manik Hapsara, Rajeev Gore, Veronique Cortier, Melanie Volkamer, Robert Krimmer

E-bok
2018

739 kr

Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid - Electronic Voting, Häftad
Del 11143

Electronic Voting

Robert Krimmer, Melanie Volkamer, Véronique Cortier, Rajeev Goré, Manik Hapsara, Uwe Serdült, David Duenas-Cid

Häftad, 2018

573 kr