Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Logic at Botik '89

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

Język AngielskiAngielski
Książka Miękka
Książka Logic at Botik '89 Albert R. Meyer
Kod Libristo: 05274101
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
The present volume contains the proceedings of Logic at Botik '89, a symposium on logical foundation... Cały opis
? points 125 b
220.11 zł
Dostępna u dostawcy Wysyłamy za 5-8 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Autism and Inclusive Education Chandra Lebenhagen / Książka Twarda
common.buy 890.86 zł
Naissance de la gauche Marc Crapez / Książka Miękka
common.buy 92.80 zł
Sefer Ahava Simcha Irah Ve Hochma Abraham Omer Bar / Książka Miękka
common.buy 159.18 zł
Lehrbuch des Marathi Daniel Krasa / Książka Miękka
common.buy 169.37 zł
Das Mensch als solches: Ein Versuch?!? Dennis Thiel / Książka Miękka
common.buy 32.88 zł
Lewis - Der Oxford Krimi. Staffel.5, 4 DVDs Kevin Whately / Wideo DVD
common.buy 120.04 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Logic at Botik '89
Autor Albert R. Meyer, Michael A. Taitslin
Język Angielski
Oprawa Książka - Miękka
Liczba stron 292
EAN 9783540512370
ISBN 3540512373
Kod Libristo 05274101
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 950
Wymiary 155 x 235 x 17

Kategoria

Technika, inżynieria i rolnictwo, procesy przemysłowe > Elektronika i telekomunikacja > Inżynieria elektroniczna > Automatyka przemysłowa > Robotyka
Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Sztuczna inteligencja > Uczenie maszynowe / Systemy uczące się
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

From Human to Posthuman Brent Waters / Książka Miękka
common.buy 320.49 zł
Liberty for Women Wendy Mcelroy / Książka Miękka
common.buy 94.92 zł
Psychodynamics of Drug Dependence Jack D. Blaine / Książka Miękka
common.buy 286.29 zł
Polymeric Liquid Crystals Alexandre Blumstein / Książka Miękka
common.buy 748.32 zł
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 / Książka Twarda
common.buy 422.38 zł
Tools for Land Use Analysis on Different Scales B. A. M Bouman / Książka Miękka
common.buy 657.53 zł
Review of Mr. Glass's Observes on the Original Constitution of the Christian Church; In a Letter to Him. by Thomas Aytone. Thomas Aytone / Książka Miękka
common.buy 63.34 zł
The Interminables Paige Orwin / Książka Miękka
common.buy 32.07 zł
Token Black Guide Donald R Guillory II / Książka Miękka
common.buy 63.34 zł
Odd, the Unusual, and the Strange Tracy K. Betsinger / Książka Twarda
common.buy 426.61 zł
Human Lifespan Development: An ABC Guide for Students Mark Walsh / Książka Miękka
common.buy 67.08 zł
The Aging Proposition: Take Care of Your Body and Mind and Live Youthfully After Age 50 Scott Abel / Książka Miękka
common.buy 43.97 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?