Gratis verzending vanaf 59,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 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Automated Reasoning

Name: Automated Reasoning
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01563573
Price: 102.82 EUR
Availability: InStock
Author: Rajeev Gore
ISBN: 9783540422549

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

Rajeev Gore

Alexander Leitsch

Tobias Nipkow

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01563573

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

This book constitutes the refereed proceedings of the First International Joint Conference on Automa... Volledige beschrijving

Libristo-code: 01563573

249 b

102.82 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Faculte de Droit de Paris. Des Avantages Du Droit de Preference (Ed.1881) Claude Ancelme

Gebonden (paperback)

21.20 €

Die Mikroskopischen Feinde Des Waldes, Book 1: Mit 4 Holzchnitten Und 8 Lithographirten Tafeln Nach Originalzeichnungen Des Verfassers (1866) Moritz Willkomm

Gebonden (paperback)

29.69 €

Do hranice čisto - Příběhy současné migrace Jakub Cahlík

Gebonden (paperback)

12.72 €

This book constitutes the refereed proceedings of the First International Joint Conference on Automated Reasoning, IJCAR 2001, held in Siena, Italy, in June 2001. The 37 research papers and 19 system descriptions presented together with three invited contributions were carefully reviewed and selected from a total of 112 submissions. The book offers topical sections on description, modal, and temporal logics; saturation based theorem proving, applications, and data structures; logic programming and nonmonotonic reasoning; propositional satisfiability and quantified Boolean logic; logical frameworks, higher-order logic, and interactive theorem proving; equational theorem proving and term rewriting; tableau, sequent, and natural deduction calculi and proof theory; automata, specification, verification, and logics of programs; and nonclassical logics.

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 Automated Reasoning

Auteur Rajeev Gore, Alexander Leitsch, Tobias Nipkow

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 2001

Aantal pagina's 712

EAN 9783540422549

ISBN 3540422544

Libristo-code 01563573

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

Gewicht 2210

Afmetingen 155 x 235 x 39

Categorieën

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

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI) > Expertsystemen / kennissystemen

Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling

Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp

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