Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

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

Austrian Post 5.49 € DPD courier 3.99 € DPD point 2.99 €

Contact

How to shop

Help

My account

▸ Empty :-(

Dear customers, due to a public holiday, customer support is not available today. We will attend to your requests the next business day. Thank you for your understanding.

Computer Science Logic

Name: Computer Science Logic
Brand: Springer, Berlin
SKU: 05274472
Price: 107.29 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

263 b

107.29 € VAT included

In stock at our supplier Shipping in 5-8 days

Delivery to Austria

30-day return policy

Customers also purchased

El tiempo perdido RAMAS

Paperback

29.39 €

Contrapontos Em Economia Dieter Rugard Siedenberg

Paperback

6.99 €

De slag om Stalingrad Nikki Claes

Paperback

14.19 €

Com'è fatto il trattore

Board book

13.39 €

Ray Bradbury BOX Ray Bradbury

Book

37.99 €

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

Sheet

14.39 €

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

Paperback

77.29 €

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

Paperback

7.79 €

Daguet Chéron

Paperback

25.99 €

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

Paperback

14.19 €

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

binding.

10.49 €

Luis, el cazafantasmas CARMEN GIL

Hardback

17.09 €

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

Paperback

10.99 €

L'arriviste: Etude psychologique M Ernest Chouinard

Paperback

12.89 €

Čarověník Egon Wiener

Sheet

10.69 €

Los turistas Carrión

Paperback

25.09 €

Fan Tomáš Hasaj

Hardback

6.49 €

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

Paperback

17.09 €

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

Paperback

10.99 €

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.