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

Szerző: Sergei Artemov, Anil Nerode
Nyelv: Angol
Kötés: Puha kötésű
Kiadó: Springer International Publishing AG
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
19 795 Ft
This book constitutes the refereed proceedings of the International Symposium on Logical Foundations...

Információk a könyvről

Szerző
Sergei Artemov, Anil Nerode
Nyelv
Angol
Kötés
Könyv - Puha kötésű
Kiadva
2017
oldal
369
EAN
9783319720555
ISBN
3319720554
Enbook ID
18376725
Kiadó
Springer International Publishing AG
Súly
5737
Méretek
155 x 235 x 21

Teljes leírás

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.

Érdekelheti

Language to Go Intermediate Students Book

Araminta Crace
17 317 Ft

Ice Bear

Michael Engelhard
17 451 Ft

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

Mohd Sayeed Akhtar
59 155 Ft

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

International Typographical Union
12 026 Ft

Characters Of Shakespeare's Plays

William Hazlitt
5 673 Ft

Moby Dick

Judith John
4 445 Ft

Heart of Mine

Caroline Fyffe
4 036 Ft

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

Frank Lean
3 264 Ft

Gerard Manley Hopkins and the Victorian Visual World

Catherine Phillips
46 431 Ft

Handbook of Microsimulation Modelling

Cathal O´Donoghue
65 366 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

Du kannst mich an der Ecke rauslassen

Niels Frevert
8 776 Ft

Le Chansonnier Du Vin de Champagne En 1890

Bourgeois-A
5 935 Ft

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

Trost
8 238 Ft

LE 2E BCCP

DUTRONE
18 613 Ft

Puzzle 1000 Dzika natura 10673

3 645 Ft

Redewendungen: Argwohnisch augt der Argus

Carsten Both
584 Ft

Very Bad Things, 1 DVD

Peter Berg
3 788 Ft

Star Wars - Boba Fett

Joe Schreiber
3 834 Ft