Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Programming Techniq » Page 13 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Programming Techniq » Page 13

book Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

Inductive Logic Programming: 21st International Conference, ILP 2011, Windsor Great Park, UK, July 31 – August 3, 2011, Revised Selected Papers

pdf

Author: Hector Geffner (auth.) Stephen H. Muggleton Alireza Tamaddoni-Nezhad Francesca A. Lisi (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Transactions on Rough Sets XV

Transactions on Rough Sets XV

pdf

Author: Andrzej Janusz (auth.) James F. Peters Andrzej Skowron (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

Descriptional Complexity of Formal Systems: 14th International Workshop, DCFS 2012, Braga, Portugal, July 23-25, 2012. Proceedings

pdf

Author: Jean-Baptiste Jeannin Dexter Kozen (auth.) Martin Kutrib Nelma Moreira Rogério Reis (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Implementation and Application of Automata: 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

Implementation and Application of Automata: 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings

pdf

Author: Yuan Gao Kai Salomaa (auth.) Nelma Moreira Rogério Reis (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

Frontiers of Combining Systems: 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings

pdf

Author: Lawrence C. Paulson (auth.) Pascal Fontaine Christophe Ringeissen Renate A. Schmidt (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

pdf

Author: Michael Beeson (auth.) Tetsuo Ida Jacques Fleuriot (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

Formal Methods for Components and Objects: 11th International Symposium, FMCO 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures

pdf

Author: Reiner Hähnle (auth.) Elena Giachino Reiner Hähnle Frank S. de Boer Marcello M. Bonsangue (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

Logic Programming and Nonmonotonic Reasoning: 12th International Conference, LPNMR 2013, Corunna, Spain, September 15-19, 2013. Proceedings

pdf

Author: Gerhard Brewka (auth.) Pedro Cabalar Tran Cao Son (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

Mathematical Foundations of Computer Science 2013: 38th International Symposium, MFCS 2013, Klosterneuburg, Austria, August 26-30, 2013. Proceedings

pdf

Author: Sam Buss (auth.) Krishnendu Chatterjee Jirí Sgall (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

Software Composition: 12th International Conference, SC 2013, Budapest, Hungary, June 19, 2013. Proceedings

pdf

Author: Seyed H. (Hossein) Haeri Sibylle Schupp (auth.) Walter Binder Eric Bodden Welf Löwe (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0