Livrare gratuită pentru comenzile peste 349,00 lei.

Verifică starea comenzii

Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit

Transport gratuit la punctele de livrare Pick Up peste 349.00 lei

Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei

Contact

Cum să cumpăr

Ajutor

Contul meu

▸ Gol :-(

Livrare gratuită pentru comenzile peste 349,00 lei.

Automated Deduction - CADE-11

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

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

Alan Bundy

Limba

engleză

Carte Carte broșată

Codul Libristo: 01565541

Editura Springer, Berlin, noiembrie 1991

This volume contains the papers presented at the Eleventh International Conference on Automated Dedu... Descrierea completă

Codul Libristo: 01565541

263 b

567.78 lei

În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

ASPEKT in collegium

Carte broșată

16.39 lei

Boy tar. French Mayne Reid

Copertă tare

123.80 lei

Düsseldorfer Forum Politische Kommunikation Esra Aydin

Carte broșată

133.97 lei

Faisons Fortune ROSENTHAL-L

Carte broșată

137.92 lei

DROIT PENAL GENERAL 2EME EDITION LETURMY L

Carte broșată

52.30 lei

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

Copertă tare

77.41 lei

Das Gesim-Konzept Andreas Prömmel

Carte broșată

462.03 lei

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.