Logic for Programming, Artificial Intelligence, and Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
MaurizioLenzerini(Universit`adiRomaLaSapienza) GiorgioLevi(Universit`adiPisa) LeonidLibkin(UniversityofToronto) RobertNieuwenhuis(TechnicalUniversityofCatalonia) LeszekPacholski(WroclawskiUniwersytet) MichelParigot(Universit¿eParis7) PavelPudlak(MathematicalInstitute,Prague) CarstenSchuermann(YaleUniversity) J¿orgSiekmann(DFKISaarbruc ¿ken) WolfgangThomas(RWTHAachen) MichaelZakharyaschev(King'sCollege) LocalOrganization KhimuriRhukia KotePhakadze GelaChankvetadze JemalAntidze VIII ConferenceOrganization ListofReferees GianlucaAmato CarlosAreces M. Arenas OferArieli RobertoBarbuti ChristophBenzmueller MartaBilkova BrunoBlanchet AlexandreBoisse…
Mehr
CHF 130.00
Preise inkl. MwSt. und Versandkosten (Portofrei ab CHF 40.00)
V103:
Folgt in ca. 5 Arbeitstagen
Produktdetails
Weitere Autoren: Baaz, Matthias (Hrsg.)
- ISBN: 978-3-540-00010-5
- EAN: 9783540000105
- Produktnummer: 3546591
- Verlag: Springer Berlin Heidelberg
- Sprache: Englisch
- Erscheinungsjahr: 2002
- Seitenangabe: 484 S.
- Masse: H23.5 cm x B15.5 cm x D2.5 cm 727 g
- Auflage: 2002
- Abbildungen: Paperback
- Gewicht: 727
56 weitere Werke von Andrei (Hrsg.) Voronkov:
Programming Logics
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Ebook (PDF Format)
CHF 73.50
Automated Deduction - CADE-18
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Ebook (PDF Format)
CHF 133.50
Handbook of Automated Reasoning
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings
Ebook (EPUB Format)
CHF 496.65
Bewertungen
Anmelden