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


Show entries of:

this year (2014) | last year (2013) | two years ago (2012) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Weidenbach, Christoph

dblp



Editor(s):

Robinson, Alan
Voronkov, Andrei

dblp
dblp



BibTeX cite key*:

Weidenbach2001handbook

Title, Booktitle

Title*:

Combining Superposition, Sorts and Splitting

Booktitle*:

Handbook of Automated Reasoning

Chapter:

27

Series:


Language:

English

Publisher

Name*:

Elsevier

URL:

http://www.elsevier.com/

Address*:

Amsterdam, the Netherlands

Publication Type:


Vol, No, pp., Year

Volume:

1

Number:


Edition:


Pages*:

1965-2013

Month:

January

VG Wort Pages:


ISBN:


Year*:

2001

Abstract, Links, ©

Note:


LaTeX Abstract:


URL Abstract:


Tags, Keywords:


Copyright Message:


HyperLinks / References / URLs:


Personal Comments:


Download
Access Level:


Correlation

MPG Unit:




MPG Subunit:


Audience:

experts only

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@INBOOK{Weidenbach2001handbook,
AUTHOR = {Weidenbach, Christoph},
EDITOR = {Robinson, Alan and Voronkov, Andrei},
TITLE = {Combining Superposition, Sorts and Splitting},
BOOKTITLE = {Handbook of Automated Reasoning},
PUBLISHER = {Elsevier},
YEAR = {2001},
VOLUME = {1},
CHAPTER = {27},
PAGES = {1965--2013},
ADDRESS = {Amsterdam, the Netherlands},
MONTH = {January},
}


Entry last modified by Uwe Brahm, 05/12/2006
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)