An edition of Handbook of tableau methods (1999)

Handbook of tableau methods

by

Cover of: Handbook of tableau methods by Marcello D'Agostino
Read

My Reading Lists:

Create a new list
Notes
Notes

Download Options

Check nearby libraries

Buy this book

Last edited by ImportBot
February 26, 2022 | History
Edit
An edition of Handbook of tableau methods (1999)

Handbook of tableau methods

by

This work doesn't have a description yet. Can you add one?

Publish Date
Publisher
Kluwer
Language
English
Pages
670

Check nearby libraries

Buy this book

Previews available in: English

Subjects

Symbolic and mathematical Logic, Automatic theorem proving, Mathematics, methodology, Science
Edition Availability
Cover of: Handbook of tableau methods
Handbook of tableau methods
1999, Kluwer
in English

Add another edition?

Book Details

Edition Notes

Includes bibliographical references and index.

Published in
Dordrecht, Boston

Classifications

Dewey Decimal Class
511.3
Library of Congress
QA76.9.A96 H36 1999, BC1-199

The Physical Object

Pagination
viii, 670 p. :
Number of pages
670

Edition Identifiers

Open Library
OL32227M
Internet Archive
handbooktableaum00dago
ISBN 10
0792356276
LCCN
99013568
OCLC/WorldCat
40734848
LibraryThing
1944229
Goodreads
3231086

Work Identifiers

Work ID
OL16923710W

Source records

Community Reviews (0)

No community reviews have been submitted for this work.

Lists

Loading indicator
Loading carousel
Loading indicator
Loading carousel

History

Download catalog record: RDF / JSON
February 26, 2022 Edited by ImportBot import existing book
November 30, 2020 Edited by MARC Bot import existing book
July 1, 2019 Edited by MARC Bot import existing book
July 28, 2014 Created by ImportBot import new book