MPG.eBooks - Staff View: Automated Reasoning with Analytic Tableaux and Related Methods

Read Now

Bibliographic Details
Main Author:	Cialdea Mayer, Marta
Other Authors:	Pirri, Fiora
Format:	eBook
Published:	Berlin, Heidelberg Springer Berlin Heidelberg 2003
Series:	Lecture Notes in Computer Science
Subjects:	Artificial Intelligence Computer Science Software Engineering Artificial Intelligence (incl. Robotics) Computer Science, General Mathematical Logic And Formal Languages Programming Techniques
Online Access:	http://dx.doi.org/10.1007/b12030?nosfx=y
Collection:	Lecture Notes in Computer Science - Collection details see MPG.ReNa


LEADER	01238nmm a2200325 u 4500
001	EB000287218
003	EBX01000000000000000052902
005	00000000000000.0
007	cr\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|\|
008	101003 \|\|\|
020			\|a 9783540407874
020			\|a 978-3-540-40787-4
100	1		\|a Cialdea Mayer, Marta
245	0	0	\|a Automated Reasoning with Analytic Tableaux and Related Methods \|h Elektronische Ressource \|b International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings \|c by Marta Cialdea Mayer, Fiora Pirri
260			\|a Berlin, Heidelberg \|b Springer Berlin Heidelberg \|c 2003
300			\|b v. digital
700	1		\|a Pirri, Fiora
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/b12030?nosfx=y \|x Verlag \|3 Volltext
082	0		\|a 004
650		4	\|a Artificial intelligence
650		4	\|a Computer science
650		4	\|a Software engineering
650		4	\|a Computer Science
650		4	\|a Artificial Intelligence (incl. Robotics)
650		4	\|a Computer Science, general
650		4	\|a Mathematical Logic and Formal Languages
650		4	\|a Programming Techniques
650		4	\|a Software Engineering