Logic for Programming, Artificial Intelligence, and Reasoning
Nikolaj Bjørner, Andrei Voronkov
Häftad, 2012
749 kr
Del 11964 i serien Lecture Notes in Computer Science
Perspectives of System Informatics
12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers
Häftad, Engelska, 2019
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This book constitutes the refereed proceedings of the 12th International Andrei P. Ershov Informatics Conference, PSI 2019, held in Novosibirsk, Russia, in July 2019.The 18 full papers and 3 short papers presented in this volume were carefully reviewed and selected from 70 submissions. The papers cover various topics related to the Mathematics of Computing, Information Systems, Formal Languages, dependable and fault-tolerant Systems and Network, Automata Theory, and much more.
Produktinformation
- Utgivningsdatum2019-12-14
- Mått155 x 235 x 18 mm
- Vikt442 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor263
- FörlagSpringer Nature Switzerland AG
- ISBN9783030374860
Tillhör följande kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 9109
Transactions and Change in Logic Databases
Burkhard Freitag, Hendrik Decker, Michael Kifer, Andrei Voronkov
Häftad, 1998
749 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Matthias Baaz, Andrei Voronkov
Häftad, 2002
749 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Iliano Cervesato, Helmut Veith, Andrei Voronkov
Häftad, 2008
1 479 kr
Logic for Programming, Artificial Intelligence, and Reasoning
Robert Nieuwenhuis, Andrei Voronkov
Häftad, 2001
1 479 kr
Perspectives of System Informatics
Andrei Voronkov, A.P. Ershov Institute of Informatics Systems
Häftad, 2015
749 kr