Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium /: the CALCULEMUS-2000 Symposium. (2001)

• Record Type: Book
• Further Information: Note: Edited by Manfred Kerber and Michael Kohlhase.
• Other Names: Kerber, Manfred, 1956-; Kohlhase, Michael, 1964-; CALCULEMUS-2000 Symposium
• Publisher Details: Place of publication not identified : A K Peters/CRC Press
• Publication Date: 2001
• Extent: 1 online resource (288 pages)
• Subjects: 512/.0285; Algebra -- Data processing -- Congresses; Automatic theorem proving -- Congresses; Algebra -- Data processing; Automatic theorem proving; Computerwiskunde; Algebra; Automatische bewijsvoering; Conference papers and proceedings
• Languages: English
• ISBNs: 9781439864234; 1439864233
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.