Pocket • 2002 • Norsk Bokmål

Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

Name: Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
SKU: 9783540439318
Availability: OutOfStock
ISBN: 9783540439318

Av Eric R. Wolf

0 vurderinger • 0.0 av 5

‌
‌

‌

‌
‌

‌

‌
‌
‌
‌
‌
‌
‌
‌

‌

Om boken

The First CADE in the Third Millennium This volume contains the papers presented at the Eighteenth International C- ference on Automated Deduction (CADE-18) held on July 27-30th, 2002, at the University of Copenhagen as part of the Federated Logic Conference (FLoC 2002). Despite a large number of deduction-related conferences springing into existence at the end of the last millennium, the CADE conferences continue to be the major forum for the presentation of new research in all aspects of autom...Vis mer

Om boken

ISBN

9783540439318

Forlag

Berlin : Springer

Publiseringsår

2002

Språk

Norsk Bokmål

Originaltittel

Automated deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

Format

Pocket

Frakt og retur

Frakt

Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.

Returer

Kontakt selgeren etter levering.

Omtaler · 0

0 vurderinger • 0.0 av 5

Du vil kanskje også like

Advanced Engineering Mathematics, International Adaptation

Erwin Kreyszig

Thinking and Deciding

Jonathan Baron

Calculus 2 tenth edition

Robert Adams

An Introduction to ETCS Components - Functions - Operations

Lars Schnieder

Calculus 2

Roberto Abadie

Software Languages

Ralf Lammel

Kompendium

Didrik Fosse

Collection of articles I

Derek Mathews

Selected chapters from software engineering

Dag Sjøberg

Algorithm Design and Applications

Michael T. Goodrich

Introduction to Computer Security

Michael Goodrich

Statistics Principles and methods

Richard Eggenberger (Narad)

Discrete Mathematics and Its Applications

Kenneth Abrahamsson

Software Engineering 9

Ian Sommerville

Kompendium TMA4105 Matematikk 2

Kompendiumkomiteen NTNU

Electronic commerce 2010

Efraim king

Automatiserte anlegg

Frank Fosbæk

Discrete mathematics and it's applications

Kenneth H. Rosen

Robot Modeling and Control

Mark. Ashwill

Introduction to computing systems: from bits & gates to c & beyond

Yale University) Baaij C.J.W. (J.S.D. candidate

The Haskell Road to Logic, Maths and Programming. Second Edition (Texts in Computing)

Kees Doets

Pattern recognition

William Gibson

Discrete Mathematics

Norman L. Biggs

Automatiserte anlegg 2

Helge Strømme

Handbook of Contemporary Syntactic Theory

Mark (EDT) Baltin

Cryptographic hardware and embedded systems : CHES 2000 : second international workshop, Worcester, MA, USA, August 17-18, 2000 : proceedings

Artificial Intelligence

George F. Luger

Data Structures and Algorithm Analysis (2nd Edition)

Mark Allen Weiss

$Algorithms in C\++$

Algorithms in C\++

Robert Sedgewick

The Language of First-Order Logic

Jon Barwise

Formal Description Techniques

K.J. Turner

Ordbok for automatiseringsteknikk : norsk-tysk-engelsk

Patrice de Beer

Debatten om Descartes

Asbjørn Aarnes

Selected Papers in Logic and Foundations, Didactics, Economics

Karl Menger

Angewandte Informatik

Descartes

Willis Doney

Register for Auto-tarifforeningens domssamling. 3 : Nr. 2101-3500

Knut Boye

Register for Auto-tarifforeningens domssamling. 1 : Nr. 1-1000