MPG.eBooks - Staff View: Automated Deduction in Geometry

Read Now

Bibliographic Details
Main Author:	Wang, Dongming
Format:	eBook
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 1997
Series:	Lecture Notes in Computer Science
Subjects:	Algorithms Artificial Intelligence Computer Graphics Computer Science Geometry Artificial Intelligence (incl. Robotics) Mathematical Logic And Formal Languages
Online Access:	http://dx.doi.org/10.1007/BFb0022715?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa


LEADER	01202nmm a2200337 u 4500
001	EB000287971
003	EBX01000000000000000053655
005	00000000000000.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|
008	101003 \|\|\|
020			\|a 9783540642978
020			\|a 978-3-540-64297-8
100	1		\|a Wang, Dongming
245	0	0	\|a Automated Deduction in Geometry \|h Elektronische Ressource \|b International Workshop on Automated Deduction in Geometry, Toulouse, France, September 27-29, 1996, Selected Papers \|c by Dongming Wang
260			\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 1997
300			\|b v. digital
989			\|b LNCS \|a Lecture Notes in Computer Science
490	0		\|a Lecture Notes in Computer Science
856	4	0	\|u http://dx.doi.org/10.1007/BFb0022715?nosfx=y \|x Verlag \|3 Volltext
082	0		\|a 004
650		4	\|a Algorithms
650		4	\|a Artificial intelligence
650		4	\|a Computer graphics
650		4	\|a Computer science
650		4	\|a Geometry
650		4	\|a Computer Science
650		4	\|a Algorithms
650		4	\|a Artificial Intelligence (incl. Robotics)
650		4	\|a Computer Graphics
650		4	\|a Geometry
650		4	\|a Mathematical Logic and Formal Languages