Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 48 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 48

book Sets, Logic and Maths for Computing

Sets, Logic and Maths for Computing

pdf

Author: David Makinson (auth.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

Term Rewriting and Applications: 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings

pdf

Author: Yoshihito Toyama (auth.) Jürgen Giesl (eds.)
Language: English
Year: 2005

00

27.01.2024

0

0

book Sets, Logic and Maths for Computing

Sets, Logic and Maths for Computing

pdf

Author: David Makinson (auth.)
Language: English
Year: 2012

00

27.01.2024

0

0

book Guide to geometric algebra in practice

Guide to geometric algebra in practice

pdf

Author: Anthony Lasenby Robert Lasenby Chris Doran (auth.) Leo Dorst Joan Lasenby (eds.)
Language: English
Year: 2011

00

27.01.2024

1

0

book Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

Algebraic Foundations in Computer Science: Essays Dedicated to Symeon Bozapalidis on the Occasion of His Retirement

pdf

Author: Frank Drewes (auth.) Werner Kuich George Rahonis (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

Functional and Constraint Logic Programming: 20th International Workshop, WFLP 2011, Odense, Denmark, July 19th, Proceedings

pdf

Author: Bernd Braßel Michael Hanus Björn Peemöller Fabian Reck (auth.) Herbert Kuchen (eds.)
Language: English
Year: 2011

00

27.01.2024

1

0

book Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

Algebra and Coalgebra in Computer Science: Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007. Proceedings

pdf

Author: S. L. Bloom Z. Ésik (auth.) Till Mossakowski Ugo Montanari Magne Haveraaen (eds.)
Language: English
Year: 2007

00

27.01.2024

0

0

book Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings

Cryptography and Coding: 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009. Proceedings

pdf

Author: Azadeh Khaleghi Danilo Silva Frank R. Kschischang (auth.) Matthew G. Parker (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

Formal Modeling and Analysis of Timed Systems: 7th International Conference, FORMATS 2009, Budapest, Hungary, September 14-16, 2009. Proceedings

pdf

Author: Nikolaj Bjørner Leonardo de Moura (auth.) Joël Ouaknine Frits W. Vaandrager (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0

book Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

Logic, Rationality, and Interaction: Second International Workshop, LORI 2009, Chongqing, China, October 8-11, 2009. Proceedings

pdf

Author: Natasha Alechina Brian Logan Nguyen Hoang Nga Abdur Rakib (auth.) Xiangdong He John Horty Eric Pacuit (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0