Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
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
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Logic at Botik '89

Symposium on Logical Foundations of Computer Science, Pereslavl-Zalessky, USSR, July 3-8, 1989. Proceedings

Language EnglishEnglish
Book Paperback
Book Logic at Botik '89 Albert R. Meyer
Libristo code: 05274101
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundation... Full description
? points 136 b
19 902 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Autism and Inclusive Education Chandra Lebenhagen / Book Hardback
common.buy 79 394 Ft
Naissance de la gauche Marc Crapez / Book Paperback
common.buy 7 756 Ft
Sefer Ahava Simcha Irah Ve Hochma Abraham Omer Bar / Book Paperback
common.buy 14 318 Ft
Lehrbuch des Marathi Daniel Krasa / Book Paperback
common.buy 15 345 Ft
Das Mensch als solches: Ein Versuch?!? Dennis Thiel / Book Paperback
common.buy 2 944 Ft
Lewis - Der Oxford Krimi. Staffel.5, 4 DVDs Kevin Whately / Video DVD
common.buy 10 787 Ft

The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundations of computer science organized by the Program Systems Institute of the USSR Academy of Sciences and held at Pereslavl-Zalessky, USSR, July 3-8, 1989. The scope of the symposium was very broad; the topics of interest were: complexity of formal systems, constructive mathematics in computer science, denotational and operational semantics of programs, descriptive complexity, dynamic and algorithmic logics and schematology, formal tools to describe concurrent computations, lambda calculus and related topics, foundations of logic programming, logical foundations of database theory, logics for knowledge representation, modal and temporal logics, type theory in programming, and verification of programs. Thus, the papers in this volume represent many interesting trends in logical foundations of Computer Science, ranging from purely theoretical research to practical applications of theory.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

About the book

Full name Logic at Botik '89
Author Albert R. Meyer, Michael A. Taitslin
Language English
Binding Book - Paperback
Number of pages 292
EAN 9783540512370
ISBN 3540512373
Libristo code 05274101
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 950
Dimensions 155 x 235 x 17

Categories

Technology, Engineering, Agriculture > Electronics & communications engineering > Electronics engineering > Automatic control engineering > Robotics
Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer science > Artificial intelligence > Machine learning
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

You might also be interested in

From Human to Posthuman Brent Waters / Book Paperback
common.buy 28 563 Ft
Liberty for Women Wendy Mcelroy / Book Paperback
common.buy 8 458 Ft
Psychodynamics of Drug Dependence Jack D. Blaine / Book Paperback
common.buy 25 822 Ft
Polymeric Liquid Crystals Alexandre Blumstein / Book Paperback
common.buy 63 990 Ft
On Ethics and Character Traits An Arabic Critical Edition and English Translation of Epistle 9 (Hardback) Omar (The Institute of Ismaili Studies) Ali-de-Unzaga / Book Hardback
common.buy 37 548 Ft
Tools for Land Use Analysis on Different Scales B. A. M Bouman / Book Paperback
common.buy 59 474 Ft
Review of Mr. Glass's Observes on the Original Constitution of the Christian Church; In a Letter to Him. by Thomas Aytone. Thomas Aytone / Book Paperback
common.buy 5 805 Ft
The Interminables Paige Orwin / Book Paperback
common.buy 2 768 Ft
Token Black Guide Donald R Guillory II / Book Paperback
common.buy 5 703 Ft
Odd, the Unusual, and the Strange Tracy K. Betsinger / Book Hardback
common.buy 38 019 Ft
Human Lifespan Development: An ABC Guide for Students Mark Walsh / Book Paperback
common.buy 6 036 Ft
The Aging Proposition: Take Care of Your Body and Mind and Live Youthfully After Age 50 Scott Abel / Book Paperback
common.buy 3 956 Ft

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?