Your search returned 3 results.

Not what you expected? Check for suggestions

Results
	1.	Computer algebra : EUROCAL '83, European Computer Algebra Conference, London, England, March 28-30, 1983 / edited by J.A. van Hulzen. by European Computer Algebra Conference (1983 : London, England) Hulzen, J. A. van [editor,, author.] Series: Lecture notes in computer science ; 162. Material type: Text; Format: print ; Literary form: Not fiction ; Audience: Adult; Publisher: Berlin : Springer-Verlag, [1983]Copyright date: ©1983 Other title: EUROCAL '83 European Computer Algebra Conference, London, England, March 28-30, 1983 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	2.	Relational methods in computer science : 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra and Workshop of COST Action 274, TARSKI, St. Catharines, ON, Canada, February 22-26, 2005 : selected revised papers / Wendy MacCaull, Michael Winter, Ivo Düntsch (eds.). by International Seminar on Relational Methods in Computer Science (8th : 2005 : St. Catharines, Ont.) MacCaull, Wendy Winter, Michael (Professor) Düntsch, Ivo European Cooperation in the Field of Scientific and Technical Research (Organization). COST Action 274 TARSKI (Project). Workshop (2005 : St. Catharines, Ont.) International Workshop on Applications of Kleene Algebra (3rd : 2005 : St. Catharines, Ont.) Series: Lecture notes in computer science ; 3929. Material type: Text; Format: available online ; Literary form: Not fiction Publication details: Berlin ; New York : Springer, ©2006 Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold
	3.	The seventeen provers of the world / foreword by Dana S. Scott ; Freek Wiedijk (ed.). by Wiedijk, Freek, 1961- Series: Lecture notes in computer science ; 3600. \| Lecture notes in computer science. Lecture notes in artificial intelligence. \| Lecture notes in computer science. Lecture notes in artificial intelligence. AI systems. Material type: Text; Format: available online ; Literary form: Not fiction Publisher number: 11542384 Publication details: Berlin ; New York : Springer, ©2006 In: OhioLINK electronic book center In: SpringerLink Online resources: Click here to access online Availability: Items available for loan: e-Library (1). Place hold

Powered by Koha