Gratis bezorging voor bestellingen boven de 69,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 69.99 €

DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis bezorging voor bestellingen boven de 69,99 euro.

Logic for Programming, Artificial Intelligence, and Reasoning

Name: Logic for Programming, Artificial Intelligence, and Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563961
Price: 102.9 EUR
Availability: InStock
Author: Robert Nieuwenhuis
ISBN: 9783540429579

8th International Conference, LPAR 2001, Havana, Cuba, December 3-7, 2001, Proceedings

Robert Nieuwenhuis

Andrei Voronkov

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01563961

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2001

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Prog... Volledige beschrijving

Libristo-code: 01563961

249 b

102.90 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Bildung im Alter - Theoretische Grundlagen und eine empirische Untersuchung einer Wohnanlage fur altersgerechtes Wohnen Daniel Werner

Gebonden (paperback)

38.30 €

voelkerstrafrechtliche Verantwortlichkeit nichtstaatlicher Akteure, insbesondere der Angehoerigen von Private Military Companies (PMCs) Lennart Schmitt

Gebonden (paperback)

25.06 €

Repertorium fur Kunstwissenschaft. Band 29 FRANZ SCHESTAG

Gebonden (harde band)

188.43 €

Die Küstencrew (Band 1) - Das Gold der Walfänger Nathalie Kranich

Gebonden (harde band)

13.54 €

Usinage par décharge électrique des composites à matrice métallique en aluminium Jatinder Kumar

Gebonden (paperback)

58.73 €

Tieronisch Eulen (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo

Kalender

28.40 €

Puzzle 1000 elementów. Wschód słońca na Sakrisoy. Lofoty. Norwegia Spel/speelgoed

Puzzel

7.57 €

Asmara, tempo d'amore Mauro Moruzzi

Gebonden (paperback)

20.11 €

This book constitutes the refereed proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2001, held in Havana, Cuba, in December 2001.The 40 revised full papers presented together with an invited paper were carefully reviewed and selected from 112 submissions. The book offers topical sections on verification, guarded logic, agents, automated theorem proving, non-classical logics, types, experimental aspects, foundations of logic, CSP and SAT, nonmonotonic reasoning, semantics, termination, knowledge-based systems, analysis of logic programs, databases and knowledge bases, and program analysis and proof planning.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Logic for Programming, Artificial Intelligence, and Reasoning

Auteur Robert Nieuwenhuis, Andrei Voronkov

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2001

Aantal pagina's 741

EAN 9783540429579

ISBN 3540429573

Libristo-code 01563961

Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Gewicht 2310

Afmetingen 155 x 233 x 41

Categorieën

Technologie, techniek, landbouw, industriële processen > Elektronica en communicatietechnologie > Elektronicatechnologie > Automatische controletechnologie > Robotica

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

Geneeskunde en verpleging > Geneeskunde: algemene onderwerpen

Informatica en informatietechnologie > Besturingssystemen

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger