MPG.eBooks - Staff View: Theory Reasoning in Connection Calculi

Read Now

Bibliographic Details
Main Author:	Baumgartner, Peter
Format:	eBook
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 1998
Series:	Lecture Notes in Computer Science
Subjects:	Artificial Intelligence Computer Science Logic, Symbolic And Mathematical Artificial Intelligence (incl. Robotics) Mathematical Logic And Formal Languages Mathematical Logic And Foundations
Online Access:	http://dx.doi.org/10.1007/b71631?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa


LEADER	01024nmm a2200289 u 4500
001	EB000288139
003	EBX01000000000000000053823
005	00000000000000.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|
008	101003 \|\|\|
020			\|a 9783540655091
020			\|a 978-3-540-65509-1
100	1		\|a Baumgartner, Peter
245	0	0	\|a Theory Reasoning in Connection Calculi \|h Elektronische Ressource \|c by Peter Baumgartner
260			\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 1998
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/b71631?nosfx=y \|x Verlag \|3 Volltext
082	0		\|a 004
650		4	\|a Artificial intelligence
650		4	\|a Computer science
650		4	\|a Logic, Symbolic and mathematical
650		4	\|a Computer Science
650		4	\|a Artificial Intelligence (incl. Robotics)
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Mathematical Logic and Foundations