Menu
Sprawdź status swojego zamówienia
Skontaktuj się z nami
Książka Logical Foundations of Computer Science Sergei Artemov

Logical Foundations of Computer Science

International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings

Autor: Sergei Artemov, Anil Nerode
Język: Angielski
Oprawa: Miękka
Wydawca: Springer International Publishing AG
Dostępność: Dostępna u dostawcy
Wysyłamy za 5-8 dni
217.76 zł
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations...

Informacje o książce

Autor
Sergei Artemov, Anil Nerode
Język
Angielski
Oprawa
Książka - Miękka
Data wydania
2017
strony
369
EAN
9783319720555
ISBN
3319720554
Enbook ID
18376725
Wydawca
Springer International Publishing AG
Waga
5737
Wymiary
155 x 235 x 21

Pełny opis

This book constitutes the refereed proceedings of the International Symposium on Logical Foundations of Computer Science, LFCS 2018, held in Deerfield Beach, FL, USA, in January 2018. The 22 revised full papers were carefully reviewed and selected from 22 submissions. The scope of the Symposium is broad and includes constructive mathematics and type theory; homotopy type theory; logic, automata, and automatic structures; computability and randomness; logical foundations of programming; logical aspects of computational complexity; parameterized complexity; logic programming and constraints; automated deduction and interactive theorem proving; logical methods in protocol and program verification; logical methods in program specification and extraction; domain theory logics; logical foundations of database theory; equational logic and term rewriting; lambda and combinatory calculi; categorical logic and topological semantics; linear logic; epistemic and temporal logics; intelligent and multiple-agent system logics; logics of proof and justification; non-monotonic reasoning; logic in game theory and social software; logic of hybrid systems; distributed system logics; mathematical fuzzy logic; system design logics; and other logics in computer science.

Możesz być zainteresowany

Language to Go Intermediate Students Book

Araminta Crace
200.90 zł

Ice Bear

Michael Engelhard
209.88 zł

Salt Stress, Microbes, and Plant Interactions: Causes and Solution

Mohd Sayeed Akhtar
650.52 zł

English for Printers: I. T. U. Lessons in Printing, V5

International Typographical Union
133.23 zł

Characters Of Shakespeare's Plays

William Hazlitt
62.67 zł

Moby Dick

Judith John
49.99 zł

Heart of Mine

Caroline Fyffe
46.90 zł

Peter Scattergood and the Panic Horn: A Haunted High School Story

Frank Lean
36.02 zł

Gerard Manley Hopkins and the Victorian Visual World

Catherine Phillips
405.90 zł

Handbook of Microsimulation Modelling

Cathal O´Donoghue
713.20 zł

Klienci, którzy kupili tę książkę, kupili również

Du kannst mich an der Ecke rauslassen

Niels Frevert
97.20 zł

Le Chansonnier Du Vin de Champagne En 1890

Bourgeois-A
63.37 zł

UE5 - Anatomie : pelvis et petit bassin. Morphologie Morphogenèse Obstétrique

Trost
98.90 zł

LE 2E BCCP

DUTRONE
223.15 zł

Puzzle 1000 Dzika natura 10673

37.82 zł

Redewendungen: Argwohnisch augt der Argus

Carsten Both
6.98 zł

Very Bad Things, 1 DVD

Peter Berg
45.60 zł

Star Wars - Boba Fett

Joe Schreiber
45.80 zł