Menu
Zistiť stav objednávky
Kontaktujte nás
Kniha Logic at Botik '89 Albert R. Meyer

Logic at Botik '89

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

Autor: Albert R. Meyer, Michael A. Taitslin
Jazyk: Angličtina
Väzba: Brožovaná
Vydavateľ: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnosť: Skladom u dodávateľa
Odosielame za 5-8 dní
50.18 €
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundation...

Informácie o knihe

Autor
Albert R. Meyer, Michael A. Taitslin
Jazyk
Angličtina
Väzba
Kniha - Brožovaná
Stránok
292
EAN
9783540512370
ISBN
3540512373
Enbook ID
05274101
Vydavateľ
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnosť
950
Rozmery
155 x 235 x 17

Kompletný popis

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.

Mohlo by vás zaujímať

From Human to Posthuman

Brent Waters
69.83 €

Liberty for Women

Wendy Mcelroy
20.62 €

Psychodynamics of Drug Dependence

Jack D. Blaine
73.46 €

Polymeric Liquid Crystals

Alexandre Blumstein
162.85 €

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
92.22 €

Tools for Land Use Analysis on Different Scales

B. A. M Bouman
149.88 €

Review of Mr. Glass's Observes on the Original Constitution of the Christian Church; In a Letter to Him. by Thomas Aytone.

Thomas Aytone
13.54 €

The Interminables

Paige Orwin
6.77 €

Token Black Guide

Donald R Guillory II
13.64 €

Odd, the Unusual, and the Strange

Tracy K. Betsinger
92.91 €

Human Lifespan Development: An ABC Guide for Students

Mark Walsh
14.53 €

The Aging Proposition: Take Care of Your Body and Mind and Live Youthfully After Age 50

Scott Abel
9.52 €

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Autism and Inclusive Education

Chandra Lebenhagen
193.98 €

Naissance de la gauche

Marc Crapez
21.11 €

Sefer Ahava Simcha Irah Ve Hochma

Abraham Omer Bar
34.37 €

Lehrbuch des Marathi

Daniel Krasa
38.59 €

Das Mensch als solches: Ein Versuch?!?

Dennis Thiel
7.46 €

Lewis - Der Oxford Krimi. Staffel.5, 4 DVDs

Kevin Whately
27.39 €