Menu
Rendelés állapotának ellenőrzése
Kapcsolat
Könyv 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

Szerző: Albert R. Meyer, Michael A. Taitslin
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 399 Ft
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundation...

Információk a könyvről

Szerző
Albert R. Meyer, Michael A. Taitslin
Nyelv
Angol
Kötés
Könyv - Puha kötésű
oldal
292
EAN
9783540512370
ISBN
3540512373
Enbook ID
05274101
Kiadó
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly
950
Méretek
155 x 235 x 17

Teljes leírás

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.

Érdekelheti

From Human to Posthuman

Brent Waters
27 841 Ft

Liberty for Women

Wendy Mcelroy
8 244 Ft

Psychodynamics of Drug Dependence

Jack D. Blaine
28 327 Ft

Polymeric Liquid Crystals

Alexandre Blumstein
62 358 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
36 599 Ft

Tools for Land Use Analysis on Different Scales

B. A. M Bouman
57 970 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
5 658 Ft

The Interminables

Paige Orwin
2 698 Ft

Token Black Guide

Donald R Guillory II
5 559 Ft

Odd, the Unusual, and the Strange

Tracy K. Betsinger
37 058 Ft

Human Lifespan Development: An ABC Guide for Students

Mark Walsh
5 884 Ft

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

Scott Abel
3 856 Ft

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Autism and Inclusive Education

Chandra Lebenhagen
77 387 Ft

Naissance de la gauche

Marc Crapez
7 528 Ft

Sefer Ahava Simcha Irah Ve Hochma

Abraham Omer Bar
13 956 Ft

Lehrbuch des Marathi

Daniel Krasa
14 957 Ft

Das Mensch als solches: Ein Versuch?!?

Dennis Thiel
2 870 Ft

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

Kevin Whately
10 515 Ft