Menu
Zjistit 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
Vazba: Brožovaná
Vydavatel: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147 Kč
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundation...

Informace o knize

Autor
Albert R. Meyer, Michael A. Taitslin
Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Stránek
292
EAN
9783540512370
ISBN
3540512373
Enbook ID
05274101
Vydavatel
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Hmotnost
950
Rozměry
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 zajímat

From Human to Posthuman

Brent Waters
1 688 Kč

Liberty for Women

Wendy Mcelroy
500 Kč

Psychodynamics of Drug Dependence

Jack D. Blaine
1 682 Kč

Polymeric Liquid Crystals

Alexandre Blumstein
3 937 Kč

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
2 228 Kč

Tools for Land Use Analysis on Different Scales

B. A. M Bouman
3 426 Kč

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

Thomas Aytone
328 Kč

The Interminables

Paige Orwin
165 Kč

Token Black Guide

Donald R Guillory II
331 Kč

Odd, the Unusual, and the Strange

Tracy K. Betsinger
2 247 Kč

Human Lifespan Development: An ABC Guide for Students

Mark Walsh
351 Kč

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

Scott Abel
230 Kč

Zákaznicí kteří koupili tuto knihu koupili také

Autism and Inclusive Education

Chandra Lebenhagen
4 690 Kč

Naissance de la gauche

Marc Crapez
511 Kč

Sefer Ahava Simcha Irah Ve Hochma

Abraham Omer Bar
831 Kč

Lehrbuch des Marathi

Daniel Krasa
882 Kč

Das Mensch als solches: Ein Versuch?!?

Dennis Thiel
173 Kč

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

Kevin Whately
629 Kč