Publications: Part of a Book - Baumgartner,Furbach Living Books, Automated Deduction and other Strange Things

Part, Chapter of a Book
@InBook, Buchkapitel
Beitrag im Sammelband

Show entries of:

this year (2024) | last year (2023) | two years ago (2022) | Notes URL

Action:

Options:

Goto entry point

Author, Editor

Author(s):

Baumgartner, Peter
Furbach, Ulrich

dblp
dblp

Not MPG Author(s):

Furbach, Ulrich

Editor(s):

Hutter, Dieter
Stephan, Werner

dblp
dblp

Not MPII Editor(s):

Hutter, Dieter
Stephan, Werner

BibTeX cite key*:

Baumgartner:Furbach:LivingBooksStrangeThings:JS60:2004

Title, Booktitle

Title*:	Living Books, Automated Deduction and other Strange Things
Booktitle*:	Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of Jörg H. Siekmann
Chapter:
Series:	Lecture Notes in Artificial Intelligence
Language:	English

Publisher

Name*:	Springer	URL:	http://www.springer.com/
Address*:	New York, USA	Publication Type:

Vol, No, pp., Year

Volume:	2605	Number:
Edition:		Pages*:	255-274
Month:		VG Wort Pages:	15
ISBN:	0302-9743	Year*:	2005

Abstract, Links, ©

Note:
LaTeX Abstract:
URL Abstract:
Tags, Keywords:
Copyright Message:
HyperLinks / References / URLs:
Personal Comments:
Download Access Level:	Public

Correlation

MPG Unit:	Max-Planck-Institut für Informatik

MPG Subunit:	Programming Logics Group
Appearance:	MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort

BibTeX Entry:

@INBOOK{Baumgartner:Furbach:LivingBooksStrangeThings:JS60:2004,
AUTHOR = {Baumgartner, Peter and Furbach, Ulrich},
EDITOR = {Hutter, Dieter and Stephan, Werner},
TITLE = {Living Books, Automated Deduction and other Strange Things},
BOOKTITLE = {Mechanizing Mathematical Reasoning: Techniques, Tools and Applications - Essays in honour of J{\"o}rg H. Siekmann},
PUBLISHER = {Springer},
YEAR = {2005},
VOLUME = {2605},
PAGES = {255--274},
SERIES = {Lecture Notes in Artificial Intelligence},
ADDRESS = {New York, USA},
ISBN = {0302-9743},
}

Entry last modified by Uwe Brahm, 01/28/2008

Edit History (please click the blue arrow to see the details)

	Editor(s) Peter Baumgartner	Created 01/17/2005 12:02:46 PM
Revisions 4. 3. 2. 1. 0.	Editor(s) Uwe Brahm Christine Kiesel Christine Kiesel Peter Baumgartner Peter Baumgartner	Edit Dates 09-06-2006 18:57:21 09.06.2006 16:37:02 27.04.2005 09:46:36 02/03/2005 10:19:04 AM 01/17/2005 12:02:46 PM

Attachment Section