Logic for Programming, Artificial Intelligence, and Reasoning von Matthias (Hrsg.) Baaz

Name: Logic for Programming, Artificial Intelligence, and Reasoning von Matthias (Hrsg.) Baaz
SKU: 978-3-540-00010-5
Price: 124.00 CHF
Availability: InStock

9th International Conference, LPAR 2002, Tbilisi, Georgia, October 14-18, 2002 Proceedings

CHF 124.00 inkl. MwSt.

ISBN: 978-3-540-00010-5

Einband: Kartonierter Einband (Kt)

Verfügbarkeit: Lieferbar in ca. 20-45 Arbeitstagen

Menge:

+ -

Klappentext

MaurizioLenzerini(Universit`adiRomäLaSapienzä) 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 AlexandreBoisseau AhmedBouajjani DmitriChubarov PabloCordero VeroniqueCortier AgostinoDovier RachidEchahed MorenoFalaschi C`esarFerri OlivierGasquet BernhardGramlich Jos¿eManuelG¿omez PhilippedeGroote RainerHaehnle JiriHanika JuanHeguiabehere JoseHernandez-Orallo ThomasHillenbrand JoeHurd EmilJerabek ValentinJijkoun KonstantinKorovin G. Lakemeyer DominiqueLarchey-Wendling OlivierLaurent StefanLeue LuigiLiquori ChristofLoeding CarstenLutz ChristopherLynch PatrickMaier PaoloMancarella FlorenceMaraninchi MaartenMarx Jesus ¿ Medina EricaMelis AntoineMin¿e RalfM¿oller PaulinDeNaurois HansdeNivelle MichaelNorrish ManuelOjeda-Aciego NikolayPelov GuyPerrier ReinhardPichler ChristopherPollett Germ¿anPuebla Jean-PierreRessayre ChristianRetor¿e AlexandreRiazanov MichalRossler PaulRozi`ere NikitaSakhanenko UlrikeSattler StefanSchlobach ManfredSchmidt-Schauß KonradSlind Anni-YasminTurhan ChristianUrban WimVanhoof YdeVenema So?eVerbaeten UweWaldmann KlausWeich ClausPeterWirth StefanWoehrle ConferenceOrganization IX ConferencesprecedingLPAR2001 RCLP¿90,Irkutsk,SovietUnion RCLP¿91,Leningrad,SovietUnion,aboardtheship¿MichailLomonosov¿ LPAR¿92,St. Petersburg,Russia,aboardtheship¿MichailLomonosov¿ LPAR¿93,St. Petersburg,Russia LPAR¿94,Kiev,Ukraine,aboardtheship¿MarshalKoshevoi¿ LPAR¿99,Tbilisi,RepublicofGeorgia LPAR2000,ReunionIsland,France LPAR2001,Hav

Autor	Baaz, Matthias (Hrsg.) / Voronkov, Andrei (Hrsg.)
Einband	Kartonierter Einband (Kt)
Erscheinungsjahr	2002
Seitenangabe	470 S.
Lieferstatus	Lieferbar in ca. 20-45 Arbeitstagen
Ausgabekennzeichen	Englisch
Masse	H23.5 cm x B15.5 cm 1'490 g
Coverlag	Springer (Imprint/Brand)
Reihe	Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence
Verlag	Springer Nature EN

Alle Bände der Reihe "Lecture Notes in Computer Science; Lecture Notes in Artificial Intelligence"

Band 10021

Cover-Bild zu Logics in Artificial Intelligence von Loizos (Hrsg.) Michael

Logics in Artificial Intelligence von Loizos (Hrsg Springer Nature EN

Kartonierter Einband (Kt) | 2016

CHF

110.00

Band 10037

Cover-Bild zu AI*IA 2016 Advances in Artificial Intelligence von Giovanni (Hrsg.) Adorni

AI*IA 2016 Advances in Artificial Intelligence von Springer Nature EN

Kartonierter Einband (Kt) | 2016

CHF

110.00

Band 10483

Cover-Bild zu Frontiers of Combining Systems von Clare (Hrsg.) Dixon

Frontiers of Combining Systems von Clare (Hrsg.) D Springer Nature EN

Kartonierter Einband (Kt) | 2017

CHF

90.00

Band 10841

Cover-Bild zu Artificial Intelligence and Soft Computing von Leszek (Hrsg.) Rutkowski

Artificial Intelligence and Soft Computing von Les Springer Nature EN

Kartonierter Einband (Kt) | 2018

CHF

135.00

Band 10842

Artificial Intelligence and Soft Computing von Les Springer Nature EN

Kartonierter Einband (Kt) | 2018

CHF

133.00

Band 11013

Cover-Bild zu PRICAI 2018: Trends in Artificial Intelligence von Xin (Hrsg.) Geng

PRICAI 2018: Trends in Artificial Intelligence von Springer Nature EN

Kartonierter Einband (Kt) | 2018

CHF

113.00

Band 11509

Artificial Intelligence and Soft Computing von Les Springer Nature EN

Kartonierter Einband (Kt) | 2019

CHF

124.00

Band 11625

Cover-Bild zu Artificial Intelligence in Education von Seiji (Hrsg.) Isotani

Artificial Intelligence in Education von Seiji (Hr Springer Nature EN

Kartonierter Einband (Kt) | 2019

CHF

113.00

Band 2056

Cover-Bild zu Advances in Artificial Intelligence von Eleni (Hrsg.) Stroulia

Advances in Artificial Intelligence von Eleni (Hrs Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

110.00

Band 2101

Cover-Bild zu Artificial Intelligence in Medicine von Silvana (Hrsg.) Quaglini

Artificial Intelligence in Medicine von Silvana (H Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

120.00

Band 2112

Cover-Bild zu Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader von Ryszard (Hrsg.) Kowalczyk

Advances in Artificial Intelligence. PRICAI 2000 W Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

110.00

Band 2142

Cover-Bild zu Computer Science Logic von Laurent (Hrsg.) Fribourg

Computer Science Logic von Laurent (Hrsg.) Fribour Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

142.00

Band 2174

Cover-Bild zu KI 2001: Advances in Artificial Intelligence von Franz (Hrsg.) Baader

KI 2001: Advances in Artificial Intelligence von F Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

120.00

Band 2253

Cover-Bild zu New Frontiers in Artificial Intelligence von Takao (Hrsg.) Terano

New Frontiers in Artificial Intelligence von Takao Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

135.00

Band 2256

Cover-Bild zu AI 2001: Advances in Artificial Intelligence von Mike (Hrsg.) Brooks

AI 2001: Advances in Artificial Intelligence von M Springer Nature EN

Kartonierter Einband (Kt) | 2001

CHF

153.00

Band 2313

Cover-Bild zu MICAI 2002: Advances in Artificial Intelligence von Carlos (Hrsg.) Coello Coello

MICAI 2002: Advances in Artificial Intelligence vo Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

142.00

Band 2358

Cover-Bild zu Developments in Applied Artificial Intelligence von Tim (Hrsg.) Hendtlass

Developments in Applied Artificial Intelligence vo Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

144.00

Band 2417

Cover-Bild zu PRICAI 2002: Trends in Artificial Intelligence von Mitsuru (Hrsg.) Ishizuka

PRICAI 2002: Trends in Artificial Intelligence von Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

153.00

Band 2424

Cover-Bild zu Logics in Artificial Intelligence von Sergio (Hrsg.) Flesca

Logics in Artificial Intelligence von Sergio (Hrsg Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

142.00

Band 2504

Cover-Bild zu Topics in Artificial Intelligence von Maria Teresa (Hrsg.) Escrig Monferrer

Topics in Artificial Intelligence von Maria Teresa Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

120.00

Band 2507

Cover-Bild zu Advances in Artificial Intelligence von Guilherme (Hrsg.) Bittencourt

Advances in Artificial Intelligence von Guilherme Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

130.00

Band 2557

Cover-Bild zu AI 2002: Advances in Artificial Intelligence von Bob (Hrsg.) McKay

AI 2002: Advances in Artificial Intelligence von B Springer Nature EN

Kartonierter Einband (Kt) | 2002

CHF

158.00

Band 2671

Cover-Bild zu Advances in Artificial Intelligence von Yang (Hrsg.) Xiang

Advances in Artificial Intelligence von Yang (Hrsg Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

158.00

Band 2718

Cover-Bild zu Developments in Applied Artificial Intelligence von Ali (Hrsg.) Moonis

Developments in Applied Artificial Intelligence vo Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

169.00

Band 2803

Cover-Bild zu Computer Science Logic von Matthias (Hrsg.) Baaz

Computer Science Logic von Matthias (Hrsg.) Baaz Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

158.00

Band 2821

Cover-Bild zu KI 2003: Advances in Artificial Intelligence von Andreas (Hrsg.) Günter

KI 2003: Advances in Artificial Intelligence von A Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

153.00

Band 2829

Cover-Bild zu AI*IA 2003: Advances in Artificial Intelligence von Amedeo (Hrsg.) Cappelli

AI*IA 2003: Advances in Artificial Intelligence vo Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

135.00

Band 2902

Cover-Bild zu Progress in Artificial Intelligence von Fernando (Hrsg.) Moura Pires

Progress in Artificial Intelligence von Fernando ( Springer Nature EN

Kartonierter Einband (Kt) | 2003

CHF

124.00