Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

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

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft GLS point 1 390 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 790 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Computer Science Logic

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

271 b

39 688 Ft

In stock at our supplier Shipping in 5-8 days

30-day return policy

Customers also purchased

El tiempo perdido RAMAS

Paperback

10 390 Ft

Com'è fatto il trattore

Board book

4 589 Ft

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

Sheet

5 320 Ft

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

Paperback

28 637 Ft

Ray Bradbury BOX Ray Bradbury

Book

12 881 Ft

De slag om Stalingrad Nikki Claes

Paperback

5 260 Ft

Contrapontos Em Economia Dieter Rugard Siedenberg

Paperback

2 593 Ft

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

Paperback

6 318 Ft

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

Paperback

4 058 Ft

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

Paperback

4 409 Ft

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

Paperback

2 625 Ft

Daguet Chéron

Paperback

8 957 Ft

L'arriviste: Etude psychologique M Ernest Chouinard

Paperback

4 765 Ft

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

Paperback

5 218 Ft

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

binding.

3 591 Ft

Fan Tomáš Hasaj

Hardback

2 182 Ft

Luis, el cazafantasmas CARMEN GIL

Hardback

3 989 Ft

Los turistas Carrión

Paperback

8 634 Ft

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

Paperback

4 058 Ft

Čarověník Egon Wiener

Sheet

3 633 Ft

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.