Vor Ort
Merkzettel Warenkorb
  • Produktbild: Logical Foundations of Computer Science
  • Produktbild: Logical Foundations of Computer Science

Logical Foundations of Computer Science International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

Aus der Reihe Lecture Notes in Computer Science

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.11.2012

Abbildungen

X, 49 illus., schwarz-weiss Illustrationen

Herausgeber

Sergei Artemov + weitere

Verlag

Springer Berlin

Seitenzahl

415

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

652 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-35721-3

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

21.11.2012

Abbildungen

X, 49 illus., schwarz-weiss Illustrationen

Herausgeber

Verlag

Springer Berlin

Seitenzahl

415

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

652 g

Auflage

2013

Sprache

Englisch

ISBN

978-3-642-35721-3

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: GPSR Kontakt

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Logical Foundations of Computer Science
  • Produktbild: Logical Foundations of Computer Science
  • Constructive mathematics and type theory.- Logic, automata and automatic structures.- Computability and randomness.- Logical foundations of programming.- Logical aspects of computational 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 logic.- 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.- Nonmonotonic reasoning.- Logic in game theory and social software.- Logic of hybrid systems.- Distributed system logics.- Mathematical fuzzy logic.- System design logics.