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

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

book Algorithmic Number Theory: 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings

Algorithmic Number Theory: 6th International Symposium, ANTS-VI, Burlington, VT, USA, June 13-18, 2004, Proceedings

pdf

Author: Kiran S. Kedlaya (auth.) Duncan Buell (eds.)
Language: English
Year: 2004

00

27.01.2024

0

0

book Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers

pdf

Author: Robin Adams Zhaohui Luo (auth.) Thorsten Altenkirch Conor McBride (eds.)
Language: English
Year: 2007

00

26.01.2024

2

0

book Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

Types for Proofs and Programs: International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007 Revised Selected Papers

pdf

Author: Lisa Allali (auth.) Marino Miculan Ivan Scagnetto Furio Honsell (eds.)
Language: English
Year: 2008

00

26.01.2024

2

0

book Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

Theoretical Aspects of Computing - ICTAC 2008: 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008. Proceedings

pdf

Author: J. -R. Abrial Thai Son Hoang (auth.) John S. Fitzgerald Anne E. Haxthausen Husnu Yenigun (eds.)
Language: English
Year: 2008

00

26.01.2024

1

0

book Theory and Applications of Relational Structures as Knowledge Instruments: COST Action 274, TARSKI. Revised Papers

Theory and Applications of Relational Structures as Knowledge Instruments: COST Action 274, TARSKI. Revised Papers

pdf

Author: Rudolf Berghammer Gunther Schmidt (auth.) Harrie de Swart Ewa Orłowska Gunther Schmidt Marc Roubens (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0

book Sequences and Their Applications - SETA 2008: 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings

Sequences and Their Applications - SETA 2008: 5th International Conference Lexington, KY, USA, September 14-18, 2008 Proceedings

pdf

Author: Pierre L’Ecuyer (auth.) Solomon W. Golomb Matthew G. Parker Alexander Pott Arne Winterhof (eds.)
Language: English
Year: 2008

00

26.01.2024

0

0

book Research in Cryptology: Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers

Research in Cryptology: Second Western European Workshop, WEWoRC 2007, Bochum, Germany, July 4-6, 2007, Revised Selected Papers

pdf

Author: Rei Yoshida Rie Shigetomi Kazuki Yoshizoe Akira Otsuka (auth.) Stefan Lucks Ahmad-Reza Sadeghi Christopher Wolf (eds.)
Language: English
Year: 2008

00

26.01.2024

1

0

book Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

Rewriting Techniques and Applications: 15th International Conference, RTA 2004, Aachen, Germany, June 3-5, 2004. Proceedings

pdf

Author: Neil D. Jones Nina Bohr (auth.) Vincent van Oostrom (eds.)
Language: English
Year: 2004

00

26.01.2024

0

0

book Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

Logical Foundations of Computer Science: International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings

pdf

Author: Stefano Aguzzoli Simone Bova Vincenzo Marra (auth.) Sergei Artemov Anil Nerode (eds.)
Language: English
Year: 2009

00

26.01.2024

0

0

book Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

Mathematical Knowledge Management: Second International Conference, MKM 2003 Bertinoro, Italy, February 16–18, 2003 Proceedings

pdf

Author: Andrew A. Adams (auth.) Andrea Asperti Bruno Buchberger James Harold Davenport (eds.)
Language: English
Year: 2003

00

26.01.2024

0

0