The social marketplace for new and used books.

Get started

Learn to sell
Learn to buy
Buy textbooks
Sign up
Buy a giftcard
For the authors

Support

Help
Track a shipment
Terms of use
Privacy policy
Cookies policy

Company

About us
Work with us
Give feedback
Categories

Contact us

Fast delivery with

Safe payments by

Visa
Mastercard
Vipps
Klarna

© 2026 Bookis AS

English

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

Paperback • 2002 • Norwegian Bokmål

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

By Eric R. Wolf

0 Ratings • 0.0 of 5

‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌
‌

About the book

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...Show more

Book details

ISBN

9783540439318

Publisher

Berlin : Springer

Published year

2002

Language

Norwegian Bokmål

Original title

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

Format

Paperback

Shippping and returns

Shipping

Used books are shipped by the seller. Expected delivery after package is sent is 2-4 days.

Returns

Contact the seller after delivery.

Reviews · 0

0 Ratings • 0.0 of 5

You might also like

Advanced Engineering Mathematics, International Adaptation

Advanced Engineering Mathematics, International Adaptation

Erwin Kreyszig

Thinking and Deciding

Thinking and Deciding

Jonathan Baron

Calculus 2 tenth edition

Calculus 2 tenth edition

Robert Adams

An Introduction to ETCS Components - Functions - Operations

An Introduction to ETCS Components - Functions - Operations

Lars Schnieder

Calculus 2

Calculus 2

Roberto Abadie

Software Languages

Software Languages

Ralf Lammel

Kompendium

Kompendium

Didrik Fosse

Collection of articles I

Collection of articles I

Derek Mathews

Selected chapters from software engineering

Selected chapters from software engineering

Dag Sjøberg

Algorithm Design and Applications

Algorithm Design and Applications

Michael T. Goodrich

Introduction to Computer Security

Introduction to Computer Security

Michael Goodrich

Statistics Principles and methods

Statistics Principles and methods

Richard Eggenberger (Narad)

Discrete Mathematics and Its Applications

Discrete Mathematics and Its Applications

Kenneth Abrahamsson

Software Engineering 9

Software Engineering 9

Ian Sommerville

Kompendium TMA4105 Matematikk 2

Kompendium TMA4105 Matematikk 2

Kompendiumkomiteen NTNU

Electronic commerce 2010

Electronic commerce 2010

Efraim king

Automatiserte anlegg

Automatiserte anlegg

Frank Fosbæk

Discrete mathematics and it's applications

Discrete mathematics and it's applications

Kenneth H. Rosen

Robot Modeling and Control

Robot Modeling and Control

Mark. Ashwill

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

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)

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

Kees Doets

Pattern recognition

Pattern recognition

William Gibson

Discrete Mathematics

Discrete Mathematics

Norman L. Biggs

Automatiserte anlegg 2

Automatiserte anlegg 2

Helge Strømme

Handbook of Contemporary Syntactic Theory

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

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

Artificial Intelligence

Artificial Intelligence

George F. Luger

Data Structures and Algorithm Analysis (2nd Edition)

Data Structures and Algorithm Analysis (2nd Edition)

Mark Allen Weiss

Algorithms in C\++

Algorithms in C\++

Robert Sedgewick

The Language of First-Order Logic

The Language of First-Order Logic

Jon Barwise

Formal Description Techniques

Formal Description Techniques

K.J. Turner

Ordbok for automatiseringsteknikk : norsk-tysk-engelsk

Ordbok for automatiseringsteknikk : norsk-tysk-engelsk

Patrice de Beer

Debatten om Descartes

Debatten om Descartes

Asbjørn Aarnes

Selected Papers in Logic and Foundations, Didactics, Economics

Selected Papers in Logic and Foundations, Didactics, Economics

Karl Menger

Angewandte Informatik

Angewandte Informatik

Descartes

Descartes

Willis Doney

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

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

Knut Boye

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

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