Automated model building

by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier

Dordrecht [u.a.]: Kluwer Acad. Publ, 2004

Monograph, Printed Resource - XI, 341 S.

Title:	Automated model building
Statement of Responsibility:	by Ricardo Caferra, Alexander Leitsch and Nicholas Peltier
Author / Contributor:	Caferra, Ricardo (1945-) ; Leitsch, Alexander ; Peltier, Nicholas
Related work:	Applied logic series — Additional volumes
Publication:	Dordrecht [u.a.]: Kluwer Acad. Publ, 2004
Media Type:	Monograph
Carrier Type:	Printed Resource
Pagination:	XI, 341 S.
ISBN:	1402026528 (hb); 1402026536 (e-book) : No price
Subject heading:	Automatic theorem proving Applied logic
Additional details:	Gesamttitelangabe: Applied logic series ; 31 Includes bibliographical references Lokale Notationen: TVL Fächer: Informatik hbz Verbund-ID: HT014376861

Please select a fomat and save the data, next, you provide an e-mail address and have the data delivered there.

BibTeX Citavi, JabRef, et al.
(Reference Management)

PDF No full text!
(Notepad, Notes)

RIS Endnote, Citavi, e.a.
(Reference Management)

MODS
(XML for further processing)

Select the appropriate citation format, copy it to the clipboard, and have it sent by e-mail or save it as a PDF file.

Citation style selected:

Please check that the citation is formally correct prior to using it in a paper. You might like to use the "Export" dialogue for formatting citations yourself for a reference management program.