Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

DPD courier 4.99 € GLS courier 11.49 €

Contact

How to shop

Help

My account

▸ Empty :-(

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274472
Price: 103.1 EUR
Availability: InStock
Author: Leszek Pacholski
ISBN: 9783540600176

8th Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994. Selected Papers

Leszek Pacholski

Jerzy Tiuryn

Language

English

Book Paperback

Libristo code: 05274472

Publishers Springer, Berlin, November 1994

This volume contains revised refereed versions of the best papers presented during the CSL '94 confe... Full description

Libristo code: 05274472

249 b

103.10 €

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

El tiempo perdido RAMAS

Paperback

28.65 €

Com'è fatto il trattore

Board book

12.95 €

Jo-Jo Fibel - Allgemeine Ausgabe 2011 Heidemarie Löbler

Sheet

13.87 €

Syst?mes mucoadhésifs d'administration de médicaments Ramalingam Kothai

Paperback

73.93 €

Ray Bradbury BOX Ray Bradbury

Book

36.35 €

De slag om Stalingrad Nikki Claes

Paperback

13.56 €

Contrapontos Em Economia Dieter Rugard Siedenberg

Paperback

6.78 €

L'Hypnotisme Explique Dans Sa Nature Et Dans Ses Actes: Mes Entretiens James-C

Paperback

16.50 €

Torah Gematria of the Set-Apart Spirit: the Judgment of the Planet Nibiru 2nd Edition John Martin

Paperback

10.62 €

Te quiero, Miguel. Aquiles tiene un problema IGNACIO AMESTOY EGIGUREN

Paperback

12.45 €

Máme v ambulancii zlatú rybku Zuzana Mojzešová

Paperback

7.38 €

Daguet Chéron

Paperback

25.31 €

L'arriviste: Etude psychologique M Ernest Chouinard

Paperback

12.45 €

Precis Sur Le Croup, Ses Causes, Ses Symptomes, Et Les Moyens de Le Prevenir RIVALLIE-A

Paperback

13.66 €

KENNETH SIMPSON: A FIRST ROUND BOOK SINGER'S BOOK SIMPSON Book

binding.

10.12 €

Fan Tomáš Hasaj

Hardback

6.17 €

Luis, el cazafantasmas CARMEN GIL

Hardback

11.23 €

Los turistas Carrión

Paperback

24.40 €

A KGB: A História e Legado da Notória Ag?ncia de Espionagem da Uni?o Soviética Charles River Editors

Paperback

10.62 €

Čarověník Egon Wiener

Sheet

10.22 €

This volume contains revised refereed versions of the best papers presented during the CSL '94 conference, held in Kazimierz, Poland in September 1994; CSL '94 is the eighth event in the series of workshops held for the third time as the Annual Conference of the European Association for Computer Science Logic.The 38 papers presented were selected from a total of 151 submissions. All important aspects of the methods of mathematical logic in computer science are addressed: lambda calculus, proof theory, finite model theory, logic programming, semantics, category theory, and other logical systems. Together, these papers give a representative snapshot of the area of logical foundations of computer science.