Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

Provjerite status narudžbe

Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun

Besplatna dostava Overseas kurirskom službom iznad 69.99 €

DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €

Kontakt

Kako kupovati

Pomoć

Moj račun

▸ Prazno :-(

Zbog tehničkih razloga telefonska podrška danas neće biti dostupna, molimo kontaktirajte nas putem e-maila.

7th International Conference on Automated Deduction

Name: 7th International Conference on Automated Deduction
Brand: Springer-Verlag New York Inc.
SKU: 01384506
Price: 102.57 EUR
Availability: InStock
Author: R. E. Shostak
ISBN: 9780387960227

Proceedings

R. E. Shostak

Jezik

Engleski

Knjiga Meki uvez

Libristo kod: 01384506

Nakladnici Springer-Verlag New York Inc.

The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, Calif... Cijeli opis

Libristo kod: 01384506

249 b

102.57 €

Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

Preparación Diploma DELE A2 Klíč Mónica García-Vi?ó Sánchez

Meki uvez

4.32 €

Tresors d'Art Medieval Bulgare: VIIe-XVIe Bakalova Knjiga

Tvrdi uvez

15.21 €

Český jazyk pro 2.ročník základní školy Ludmila Konopková

Knjiga

4.73 €

istituzione degli asili infantili. Il primo anello del sistema d'istruzione e di educazione popolare: l'asilo «Principessa Margherita di Savoia» di Al Vittoria Bosna

Meki uvez

17.52 €

Černobílá stěna Milada Horynová

Meki uvez

4.32 €

ARQUITECTURA ESCUL.ROMANICAS RODRIGUEZ

Knjiga

11.38 €

Paul Follot Léopold Diego Sanchez

Meki uvez

94.71 €

"Ne me parlez plus de régimes" ! le retour à une diététique de bon sens DELAGE STEPHANE

Meki uvez

20.34 €

Těšetice-Kyjovice 7 + CD Eliška Kazdová

Meki uvez

13.49 €

Fotiovo schizma František Dvorník

List

16.21 €

Recherches Sur Les Synascidies: Propositions Donnees Par La Faculte (1872) Alfred Giard

Meki uvez

27.70 €

35 Anos En La Industria Del Disco Miguel Estivill

Meki uvez

14.80 €

De aeternitate mundi sv.Tomáše Akvinského Tomáš Machula

binding.

2.71 €

Vida de Água Sergio Antonio Meneghetti

Meki uvez

10.27 €

Madame Bovary Heinrich Sutermeister

Tvrdi uvez

8.05 €

Widerspruchliches professionelles Handeln. Handlungsmuster in der Jugendberufshilfe Peter Assmann

Meki uvez

35.56 €

Handel, Instandhaltung und Reparatur von Kraftfahrzeugen 1996 Erich Bader

Meki uvez

14.80 €

Echelon - Zu den Grundlagen der Arbeit von Nachrichtendiensten und Echelon Sascha Vilovic

Meki uvez

36.77 €

Ökologische Sanierung und wirtschaftlicher Strukturwandel in den neuen Bundesländern. Heike Belitz

Meki uvez

56.32 €

The Seventh International Conference on Automated Deduction was held May 14-16, 19S4, in Napa, California. The conference is the primary forum for reporting research in all aspects of automated deduction, including the design, implementation, and applications of theorem-proving systems, knowledge representation and retrieval, program verification, logic programming, formal specification, program synthesis, and related areas. The presented papers include 27 selected by the program committee, an invited keynote address by Jorg Siekmann, and an invited banquet address by Patrick Suppes. Contributions were presented by authors from Canada, France, Spain, the United Kingdom , the United States, and West Germany. The first conference in this series was held a decade earlier in Argonne, Illinois. Following the Argonne conference were meetings in Oberwolfach, West Germany (1976), Cambridge, Massachusetts (1977), Austin, Texas (1979), Les Arcs, France (19S0), and New York, New York (19S2). Program Committee P. Andrews (CMU) W.W. Bledsoe (U. Texas) past chairman L. Henschen (Northwestern) G. Huet (INRIA) D. Loveland (Duke) past chairman R. Milner (Edinburgh) R. Overbeek (Argonne) T. Pietrzykowski (Acadia) D. Plaisted (U. Illinois) V. Pratt (Stanford) R. Shostak (SRI) chairman J. Siekmann (U. Kaiserslautern) R. Waldinger (SRI) Local Arrangements R. Schwartz (SRI) iv CONTENTS Monday Morning Universal Unification (Keynote Address) Jorg H. Siekmann (FRG) .