An edition of Mechanical theorem proving in the USSR (1986)

Mechanical theorem proving in the USSR

the Leningrad school

by Vladimir Lifschitz

Vladimir Lifschitz, Vladimir L ...

Not in Library

My Reading Lists:

Use this Work

Create a new list

Check nearby libraries

WorldCat

Buy this book

Last edited by MARC Bot

July 24, 2024 | History

Edit

An edition of Mechanical theorem proving in the USSR (1986)

Mechanical theorem proving in the USSR

the Leningrad school

by Vladimir Lifschitz

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

Publish Date

1986

Publisher

Delphic Associates

Language

English

Pages

103

Check nearby libraries

WorldCat

Buy this book

Showing 1 featured edition. View all 1 editions?

Edition	Availability
1 Mechanical theorem proving in the USSR: the Leningrad school 1986, Delphic Associates in English	aaaa Not in Library Libraries near you: WorldCat

Add another edition?

Book Details

Edition Notes

Bibliography: leaves 98-103.

Published in: Falls Church, VA (7700 Leesburg Pike, #250, Falls Church 22043)
Series: Monograph series on Soviet Union, Delphic emigre series

Classifications

Dewey Decimal Class: 511.3
Library of Congress: QA76.9.A96 L54 1986

The Physical Object

Pagination: xii, 103 leaves ;
Number of pages: 103

ID Numbers

Open Library: OL2423764M
LCCN: 87109096
OCLC/WorldCat: 16351308

Source records

Library of Congress MARC record
marc_columbia MARC record

Community Reviews (0)

Feedback?

No community reviews have been submitted for this work.

Lists

This work does not appear on any lists.

History

Created April 1, 2008
4 revisions

Download catalog record: RDF / JSON / OPDS | Wikipedia citation

July 24, 2024	Edited by MARC Bot	import existing book
November 6, 2020	Edited by MARC Bot	import existing book
December 12, 2009	Edited by WorkBot	link works
April 1, 2008	Created by an anonymous user	Imported from Scriblio MARC record

Mechanical theorem proving in the USSR

the Leningrad school

by Vladimir Lifschitz