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


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








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
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)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
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section