=ADD= =author= Kollar; Janos =title= Rational Curves on Algebraic Varieties =year= 1999 =publisher= Springer =series= Modern Surveys in Mathematics =owner= 3 =note= Uni inventory 15375 =reftype= 1 =source= 3 =ADD= =author= Graf; Peter =title= Term Indexing =year= 1995 =publisher= Springer =series= Lecture Notes in Computer Science =owner= 3 =note= Uni inventory 15382 =reftype= 1 =source= 3 =ADD= =author= Gatermann; Karin =title= Computer Algebra Methods for Equivariant Dynamical Systems =year= 2000 =publisher= Springer =series= Lecture Notes in Mathematics =number= 1728 =owner= 3 =note= Uni inventory 15374 =reftype= 1 =source= 3 =ADD= =author= Jones; Gareth A. + Jones; J. Mary =title= Information and Coding Theory =year= 2000 =publisher= Springer =series= Springer Undergraduate Mathematics Series =owner= 3 =note= Uni inventory 15377 =reftype= 1 =source= 3 =ADD= =author= Nerode; Anil + Shore; Richard A. =title= Logic for Applications =year= 1997 =publisher= Springer =series= Graduate Texts in Computer Science =owner= 3 =note= Uni inventory 15372 =reftype= 1 =source= 3 =ADD= =author= Kreuzer; Martin + Robbiano; Lorenzo =title= Computational Commutative Algebra 1 =year= 2000 =publisher= Springer =owner= 3 =note= Uni inventory 15376 =reftype= 1 =source= 3 =ADD= =author= Bourbaki; N. =title= Topological Vector Spaces Chapter 1-5 =year= 1987 =publisher= Springer =series= Elements of Mathematics =owner= 3 =note= Uni inventory 15371 =reftype= 1 =source= 3 =ADD= =author= Socher-Ambrosius; Rolf + Johann; Patricia =title= Deduction Systems =year= 1996 =publisher= Springer =series= Graduate Texts in Computer Science =owner= 3 =note= Uni inventory 15373 =reftype= 1 =source= 3 =ADD= =author= Silverman; Joseph H. =title= The Arithmetic of Elliptic Curves =year= 1986 =publisher= Springer =series= Graduate Texts in Mathematics =owner= 3 =note= Uni inventory 15378 =reftype= 1 =source= 3 =ADD= =author= Silverman; Joseph H. =title= Advanced Topics in the Arithmetic of Elliptic Curves =year= 1994 =publisher= Springer =series= Graduate Texts in Mathematics =owner= 3 =note= Uni inventory 15379 =reftype= 1 =source= 3 =ADD= =author= Cipolla; Roberto + Martin; Ralph =title= The Mathematics of Surfaces IX. 9th Conference on Mathematics of Surfaces. Cambridge, UK, September 2000 =year= 2000 =publisher= Springer =owner= 3 =note= Uni inventory 15380 =reftype= 10 =source= 3 =ADD= =author= Ganzha; V. G. + Mayr; E. W. =title= Computer Algebra in Scientific Computing. Third Workshop. Samarkand, October 2000. =year= 2000 =publisher= Springer =owner= 3 =note= Uni inventory 15381 =reftype= 1 =source= 3 =ADD= =author= Wilkinson; Barry + Allen; Michael =title= Parallel Programming =year= 1999 =publisher= Prentice-Hall Inc. =owner= 3 =note= Uni inventory 15324 =reftype= 1 =source= 3 =ADD= =author= Andrews; Gregory R. =title= Foundations of Multithreaded, Parallel, and Distributed Programmimg =year= 2000 =publisher= Addison Wesley Longman, Inc. =owner= 3 =note= Uni inventory 15325 =reftype= 1 =source= 3 =ADD= =author= Maslov; S. Yu. =title= Theory of Deductive Systems and Its Applications =year= 1987 =publisher= The MIT Press =series= Foundations of Computing Series =owner= 3 =note= Uni inventory 15384 =reftype= 1 =source= 3 =ADD= =author= Eijck; Jan van + Visser; Albert =title= Logic and Information Flow =year= 1994 =publisher= The MIT Press =series= Foundations of Computing Series =owner= 3 =note= Uni inventory 15386 =reftype= 1 =source= 3 =ADD= =author= Wos; Larry + Pieper; Gail W. =title= A Fascinating Country in the World of Computing =year= 1999 =publisher= World Scientific Publishing Co. Pte. Ltd. =owner= 3 =note= Uni inventory 15387 =reftype= 1 =source= 3 =ADD= =author= Abramsky; S. + Gabbay; Dov M. + Maibaum; T. S. E. =title= Handbook of Logic in Computer Science - Volume 2 =year= 1992 =publisher= Oxford Science Publications =owner= 3 =note= Uni inventory 15389 =reftype= 1 =source= 3 =ADD= =author= Doets; Kees =title= From Logic to Logic Programming =year= 1994 =publisher= The MIT Press =series= Foundations of Computing Series =owner= 3 =note= Uni inventory 15383 =reftype= 1 =source= 3 =ADD= =author= Chou; Shang-Ching + Gao; Xiao-Shan + Zhang; Jing-Zhong =title= Machine Proofs in Geometry =year= 1994 =publisher= World Scientific Publishing Co. Pte. Ltd. =series= Series on Applied Mathematics Volumn 6 =owner= 3 =note= Uni inventory 15365 =reftype= 1 =source= 3 =ADD= =author= Bird; Richard + Moor; Oege de =title= Algebra of Programming =year= 1997 =publisher= Prentice Hall =owner= 3 =note= Uni inventory 15413 =reftype= 1 =source= 3 =ADD= =author= Best; Eike =title= Semantics of Sequential and Parallel Programs =year= 1996 =publisher= Prentice Hall =owner= 3 =note= Uni inventory 15412 =reftype= 1 =source= 3 =ADD= =author= Mehlhorn; K. + Naeher; S. =title= LEDA - A platform for combinatorial and geometric computing =year= 1999 =publisher= Cambridge Press, U.K. =owner= 3 =note= Uni inventory 15317 =reftype= 1 =source= 3 =ADD= =author= Nissanke; Nimal =title= Formal Specification - Techniques and Application =year= 1999 =publisher= Springer =owner= 3 =note= Uni inventory 15323 =reftype= 1 =source= 3 =ADD= =author= Fay; Jim + Funk; David =title= Teaching with Love & Logic =year= 1995 =publisher= The Love and Logic Press Inc. =owner= 3 =note= Uni inventory 15315 =reftype= 1 =source= 3 =ADD= =author= Narendran; Paliath + Rusinowitch; Michael =title= Rewriting Techniques and Applications. 10th Conference RTA-99. Trento, Italy, July 1999 =year= 1999 =publisher= Springer =series= Lecture Notes in Computer Science =number= 1631 =owner= 3 =note= Uni inventory 15319 =reftype= 10 =source= 3 =ADD= =author= Halbwachs; Nicolas + Peled; Doron =title= Computer Aided Verification. 11th Conference CAV'99. Trento, Italy, July 1999 =year= 1999 =publisher= Springer =series= Lecture Notes in Computer Science =number= 1633 =owner= 3 =note= Uni inventory 15320 =reftype= 10 =source= 3 =ADD= =author= Minto; Barbara =title= The Pyramid Principle =year= 1987 =publisher= Prentice Hall =owner= 3 =note= Uni inventory 15316 =reftype= 1 =source= 3 =ADD= =author= Yap; Chee Keng =title= Fundamental Problems of Algorithmic Algebra =year= 2000 =publisher= Oxford University Press =owner= 3 =note= Uni inventory 15314 =reftype= 1 =source= 3 =ADD= =author= Buyya; Rajkumar =title= High Performance Cluster Computing - Architectures and Systems, Volume 1 =year= 1999 =publisher= Prentice Hall =owner= 3 =note= Uni inventory 15326 =reftype= 1 =source= 3 =ADD= =author= Buyya; Rajkumar =title= High Performance Cluster Computing - Programming and Applications, Volume 2 =year= 1999 =publisher= Prentice Hall =owner= 3 =note= Uni inventory 15327 =reftype= 1 =source= 3 =ADD= =author= Milner; Robin =title= Communicating and Mobile Systems: The \PI-Calculus =year= 1999 =publisher= Cambridge University Pess =owner= 3 =note= Uni inventory 15328 =reftype= 1 =source= 3 =ADD= =author= Baumgartner; Peter + Zhang; Hantao =title= FTP 2000 =year= 2000 =publisher= Universitaet Koblenz-Landau, Institut fuer Informatik =owner= 3 =note= Uni inventory 15322 =reftype= 10 =source= 3 =ADD= =author= Dyckhoff; Roy =title= Automated Reasoning with Analytic Tableaux and Related Methods =year= 2000 =publisher= University of St Andrews, School of Computer Science =owner= 3 =note= Uni inventory 15321 =reftype= 10 =source= 3