Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv Automated Deduction - CADE-11 Alan Bundy

Automated Deduction - CADE-11

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

Szerző: Alan Bundy
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer, Berlin
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
38 334 Ft
This volume contains the papers presented at the Eleventh International Conference on Automated Dedu...

Információk a könyvről

Szerző
Alan Bundy
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
1992
oldal
800
EAN
9783540556022
ISBN
3540556028
Enbook ID
01565541
Kiadó
Springer, Berlin
Súly
1224
Méretek
156 x 234 x 41

Teljes leírás

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.

Érdekelheti

Fuzzy Control of Industrial Systems

Ian S. Shaw
38 334 Ft

Asthma: Epidemiology, Anti-Inflammatory Therapy and Future Trends

Mark A. Giembycz
35 294 Ft

Strain softening and instability of sand

Dariusz Wanatowski
27 366 Ft

Battle for Trust

PhD David Ryback
5 679 Ft

Growing Up in the Neighborhood

Cynthia D Johnson
6 428 Ft

Routledge Handbook of Applied Linguistics

James Simpson
235 279 Ft

Thunderbolt Fantasy Omnibus II (Vol. 3-4)

Nitroplus
6 937 Ft

Managing Your Personal Finance: From Start Of Career To Retirement And More

Wai Mun Fong
23 401 Ft

The Warrior The Mastodons Book Two

James Strauss
6 808 Ft

18 Decimals 1.987539112567901559

Richard D Church
11 991 Ft

Narrative as Theme

Gerald Prince
19 196 Ft

Destabilizing Milton

P. Herman
20 553 Ft

Metadata and Semantics

Miguel-Angel Sicilia
61 807 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

ASPEKT in

collegium
1 076 Ft

Boy tar. French

Mayne Reid
8 379 Ft

Düsseldorfer Forum Politische Kommunikation

Esra Aydin
8 777 Ft

Faisons Fortune

ROSENTHAL-L
9 272 Ft

DROIT PENAL GENERAL 2EME EDITION

LETURMY L
3 455 Ft

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

BLUE CLUES
5 067 Ft

Das Gesim-Konzept

Andreas Prömmel
31 201 Ft