Тема, жанр, tags: Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Logics and Meanings of P » Page 9 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Mathematical Logic and Formal Languages,Symbolic and Algebraic Manipulation,Logics and Meanings of P » Page 9

book Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

Relational and Algebraic Methods in Computer Science: 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings

pdf

Author: Bernhard Möller (auth.) Harrie de Swart (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

Functional and Constraint Logic Programming: 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers

pdf

Author: Mariangiola Dezani-Ciancaglini Silvia Ghilezan Svetlana Jakšić Jovanka Pantović (auth.) Julio Mariño (eds.)
Language: English
Year: 2011

00

06.02.2024

0

0

book Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

pdf

Author: Andrea Asperti Wilmer Ricciotti (auth.) Luke Ong Ruy de Queiroz (eds.)
Language: English
Year: 2012

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 Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

Algebra and Coalgebra in Computer Science: 5th International Conference, CALCO 2013, Warsaw, Poland, September 3-6, 2013. Proceedings

pdf

Author: Andrej Bauer Matija Pretnar (auth.) Reiko Heckel Stefan Milius (eds.)
Language: English
Year: 2013

00

06.02.2024

0

0

book Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

Relational and Algebraic Methods in Computer Science: 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings

pdf

Author: Han-Hing Dang Bernhard Möller (auth.) Wolfram Kahl Timothy G. Griffin (eds.)
Language: English
Year: 2012

00

06.02.2024

0

0

book Number Theory for Computing

Number Theory for Computing

pdf

Author: Song Y. Yan (auth.)
Language: English
Year: 2002

00

06.02.2024

0

0

book Design, Analysis and Test of Logic Circuits Under Uncertainty

Design, Analysis and Test of Logic Circuits Under Uncertainty

pdf

Author: Smita Krishnaswamy Igor L. Markov John P. Hayes (auth.)
Language: English
Year: 2013

00

06.02.2024

2

0

book 25 Years of Model Checking History, Achievements, Perspectives

25 Years of Model Checking History, Achievements, Perspectives

pdf

Author: Grumberg Orna., Veith Helmut
Language: English
Year: 2008

00

06.02.2024

0

0

book Logic and structure

Logic and structure

pdf

Author: Dalen Dirk
Language: English
Year: 2013

00

06.02.2024

1

0