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 Deduction - CADE-11

Name: Automated Deduction - CADE-11
Brand: Springer, Berlin
SKU: 01565541
Price: 102.86 EUR
Availability: InStock
Author: Alan Bundy
ISBN: 9783540556022

11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings.

Alan Bundy

Taal

Engels

Boek Gebonden (paperback)

Libristo-code: 01565541

Uitgeverij Springer, Berlin, november 1991

This volume contains the papers presented at the Eleventh International Conference on Automated Dedu... Volledige beschrijving

Libristo-code: 01565541

249 b

102.86 €

In extern magazijn Wordt binnen 5-8 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

ASPEKT in collegium

Gebonden (paperback)

3.12 €

Boy tar. French Mayne Reid

Gebonden (harde band)

22.32 €

Düsseldorfer Forum Politische Kommunikation Esra Aydin

Gebonden (paperback)

26.97 €

Faisons Fortune ROSENTHAL-L

Gebonden (paperback)

25.15 €

DROIT PENAL GENERAL 2EME EDITION LETURMY L

Gebonden (paperback)

9.99 €

UN DÍA DE JUEGOS CON BLUE! 7B LSD BLUE CLUES

Gebonden (harde band)

14.74 €

Das Gesim-Konzept Andreas Prömmel

Gebonden (paperback)

83.76 €

This volume contains the papers presented at the Eleventh International Conference on Automated Deduction (CADE-11) held in Saratoga Springs, NY, in June 1992. A total of 136 papers were submitted for presentation by researchers from nearly 20 countries. Papers covered many topics including: resolution; term rewriting; natural deduction; theorem proving, in particular in algebra and geometry; parallel theorem provers; unification theory; constraint solving; logic programing; verification; multivalued, temporal and nonclassical logics; non-monotonic reasoning; planning; proof theory; higher-order logics; and inductive theorem proving. Each submission was reviewed by at least three program committee members and 46 papers were selected for presentation and publication. This volume also contains short descriptions of 23 implementations of automated deduction systems. The volume opens with a keynote address by Larry Wos, winner of the first Herbrand Award for Distinguished Contributions to Automated Reasoning.

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 Deduction - CADE-11

Auteur Alan Bundy

Taal

Engels

Bindwijze Boek - Gebonden (paperback)

Datum van uitgifte 1992

Aantal pagina's 800

EAN 9783540556022

ISBN 3540556028

Libristo-code 01565541

Uitgeverij Springer, Berlin

Gewicht 1224

Afmetingen 156 x 234 x 41

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 > Wiskundige systeemtheorie

Informatica en informatietechnologie > Informatica > Kunstmatige intelligentie (AI)

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