Open Book Database
Automatic theorem proving, Automatic theorem proving photo, cover, author

Automatic theorem proving books:

Here download books Automatic theorem proving online, or read them online now. Click on title of book which you want:

We have 39 books in order of relevance:

# 1
The city and social theory Michael Peter Smith.

The city and social theory Michael Peter Smith.

by Michael Peter Smith.

ISBN: 063112151X
Author: Smith, Michael P.
Publication & Distribution: Oxford . Blackwell, (c)1980.

# 2
Introduction to statistical pattern recognition.

Introduction to statistical pattern recognition.

by Introduction to statistical pattern recognition.

ISBN: 0122698509
Author: Fukunaga, Keinosuke.
Publication & Distribution: New York,. Academic Press, (c)1972.

# 3
Die Rechtsstellung des Auszuliefernden in der Bundesrepublik Deutschland von Otto Lagodny.

Die Rechtsstellung des Auszuliefernden in der Bundesrepublik Deutschland von Otto Lagodny.

by von Otto Lagodny.

ISBN: 3922498892
Author: Lagodny, Otto, 1958-
Publication & Distribution: Freiburg i.Br. . Eigenverlag Max-Planck-Institut für Ausländisches und Internationales Strafrecht, (c)1987.

# 4
Vrach khotiralari Shomurod Shomansurov.

Vrach khotiralari Shomurod Shomansurov.

by Shomurod Shomansurov.

ISBN: 5638004106
Author: Shomansurov, Shomurod.
Publication & Distribution: Toshkent . Ibn Sino nomidagi nashriët, (c)1991.
Author: Shomansurov, Shomurod.

# 5
Majmat aml Bah hir.

Majmat aml Bah hir.

by Bah?? ??hir.

ISBN: 9770701416
Author: ??hir, Bah??, 1935-
Publication & Distribution: [Cairo] . D?r al-Hil?l, (c)[1992]

# 6
International Interparliamentary Consultation on the Kurds.

International Interparliamentary Consultation on the Kurds.

by International Interparliamentary Consultation on the Kurds.

ISBN: 2908416050
Publication & Distribution: Paris, France . Kurdish Institut of Paris, (c)[1992?]

# 7
Sulla vendetta di Giuliano : or. 24 Libanio ; testo, introduzione, traduzione, commentario e appendice a cura di Ugo Criscuolo.

Sulla vendetta di Giuliano : or. 24 Libanio ; testo, introduzione, traduzione, commentario e appendice a cura di Ugo Criscuolo.

by Libanio ; testo, introduzione, traduzione, commentario e appendice a cura di Ugo Criscuolo.

ISBN: 8870921042
Author: Libanius.
Publication & Distribution: Napoli . M. D'Auria editore, (c)1994.
Author: Libanius.$tOration 24.
Author: Criscuolo, Ugo.

# 8
The book of the Jewish year Stephen M. Wylen.

The book of the Jewish year Stephen M. Wylen.

by Stephen M. Wylen.

ISBN: 080740537X (alk. paper)
Author: Wylen, Stephen M., 1952-
Publication & Distribution: New York . UAHC Press, (c)1996.

# 9
Hepsini okudunuz mu Memet Baydur.

Hepsini okudunuz mu Memet Baydur.

by Memet Baydur.

ISBN: 975563035X
Author: Baydur, Memet, 1951-
Publication & Distribution: ?stanbul . ?yi ?eyler Yay?nc?l?k Yap?m ve Tic. Ltd. ?ti., (c)1996.

# 10
Making it happen : stories from inside the new workplace compiled from the Systems thinker newsletter.

Making it happen : stories from inside the new workplace compiled from the Systems thinker newsletter.

by compiled from the Systems thinker newsletter.

ISBN: 1883823323
Publication & Distribution: Waltham . Pegasus Communications, (c)1999.

# 11
brahim Edhem Pertev Paa : bir Osmanl aydn Nazl Rânâ Gürel.

brahim Edhem Pertev Paa : bir Osmanl aydn Nazl Rânâ Gürel.

by Nazl? Rânâ Gürel.

ISBN: 975873671X
Author: Gürel, Nazl? Rânâ, 1963-
Publication & Distribution: Ankara . Berikan, (c)2004.
Author: Pertev Pa?a, 1824-1872.

# 12
Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings Klaus Schneider, Jens Brandt (eds.).

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings Klaus Schneider, Jens Brandt (eds.).

by Klaus Schneider, Jens Brandt (eds.).

ISBN: 9783540745907 (softcover : alk. paper)
ISBN: 3540745904 (softcover : alk. paper)
Publication & Distribution: Berlin ;$aNew York . Springer, (c)2007.
Author: Schneider, Klaus, 1967-
Author: Brandt, Jens, 1978-

# 13
Time for results : the governors' 1991 report on education National Governors' Association, Center for Policy Research and Analysis ; Lamar Alexander, chairman ; Bill Clinton and Thomas H. Kean, co-chairmen.

Time for results : the governors' 1991 report on education National Governors' Association, Center for Policy Research and Analysis ; Lamar Alexander, chairman ; Bill Clinton and Thomas H. Kean, co-chairmen.

by National Governors' Association, Center for Policy Research and Analysis ; Lamar Alexander, chairman ; Bill Clinton and Thomas H. Kean, co-chairmen.

Publication & Distribution: Washington, D.C. . The Association, (c)1986.
Author: Kean, Thomas H.
Author: Alexander, Lamar.
Author: Clinton, Bill, 1946-

# 14
Todos somos subversivos Carlos Gabetta.

Todos somos subversivos Carlos Gabetta.

by Carlos Gabetta.

ISBN: 950561036X
Author: Gabetta, Carlos.
Publication & Distribution: Buenos Aires . Bruguera, (c)[1983]

# 15
Exchange rate management in interdependent economies : from Williamsburg to Louvre Silke Fabian

Exchange rate management in interdependent economies : from Williamsburg to Louvre Silke Fabian

by Silke Fabian

ISBN: 379080729X$93-7908-0729-X
ISBN: 0387914722$90-387-91472-2
Author: Fabian, Silke (DE-576)171303741
Publication & Distribution: Heidelberg . Physica-Verl., (c)1993

# 16
More beautiful and more terrible : the embrace and transcendence of racial inequality in the United States Imani Perry.

More beautiful and more terrible : the embrace and transcendence of racial inequality in the United States Imani Perry.

by Imani Perry.

ISBN: 9780814767368 (cl : alk. paper)
ISBN: 0814767362 (cl : alk. paper)
ISBN: 9780814767375 (pb : alk. paper)
ISBN: 0814767370 (pb : alk. paper)
ISBN: 9780814768181 (e-book)
ISBN: 0814768180 (e-book)
Author: Perry, Imani, 1972-
Publication & Distribution: New York . New York University Press, (c)2011.

# 17
The dieter's prayer book : spiritual power and daily encouragement Heather Harpham Kopp.

The dieter's prayer book : spiritual power and daily encouragement Heather Harpham Kopp.

by Heather Harpham Kopp.

ISBN: 1578563968 (hardback)
Author: Kopp, Heather Harpham, 1964-
Publication & Distribution: Colorado Springs, Colo. . WaterBrook Press, (c)2000.

# 18
Incrementorvm et decrementorvm avlae othman[n]icae sive aliothman[n]icae historiae a prima gentis origine ad nostra vsque tempora dedvctae libri tres Demetrii Cantemirii ; praefatus est Virgil Candea ; critice edidit Dan Slusanschi.

Incrementorvm et decrementorvm avlae othman[n]icae sive aliothman[n]icae historiae a prima gentis origine ad nostra vsque tempora dedvctae libri tres Demetrii Cantemirii ; praefatus est Virgil Candea ; critice edidit Dan Slusanschi.

by Demetrii Cantemirii ; praefatus est Virgil Ca?ndea ; critice edidit Dan Slus?anschi.

ISBN: 9738208149
Author: Dimitrie Cantemir,, Voivode of Moldavia, 1673-1723.
Publication & Distribution: Timis?oara . Editura Amarcord, (c)2002.
Author: Ca?ndea, Virgil.
Author: Slus?anschi, Dan.

# 19
Nell'occhio, nel cielo : teoria e storia del cinema di fantascienza Luca Bandiroli, Enrico Terrone.

Nell'occhio, nel cielo : teoria e storia del cinema di fantascienza Luca Bandiroli, Enrico Terrone.

by Luca Bandiroli, Enrico Terrone.

ISBN: 9788871807164 :$c26.00 EUR
Author: Bandirali, Luca, 1973-
Publication & Distribution: Torino . Lindau, (c)2008.
Author: Terrone, Enrico, 1970-

# 20
Basil's search for miracles : a novel by Heather Zydek.

Basil's search for miracles : a novel by Heather Zydek.

by by Heather Zydek.

ISBN: 1888212861 (pbk.)
ISBN: 9781888212860 (pbk.)
Author: Zydek, Heather.
Publication & Distribution: Ben Lomond, Calif. . Conciliar Press Ministries, (c)2007.

# 21
Introduction to AutoCAD 2008 : a modern approach Paul Richard ; Jim Fitzgerald.

Introduction to AutoCAD 2008 : a modern approach Paul Richard ; Jim Fitzgerald.

by Paul Richard ; Jim Fitzgerald.

ISBN: 9780131586796
ISBN: 0131586793
Author: Richard, Paul (Paul Fritz)
Publication & Distribution: Upper Saddle River, N.J. . Pearson/Prentice Hall (c)2008.
Author: Fitzgerald, Jim, 1964-

# 22
Blest be the tithes that bind A. Randolph Adler.

Blest be the tithes that bind A. Randolph Adler.

by A. Randolph Adler.

ISBN: 9780977807901 (pbk.)
ISBN: 0977807908 (pbk.)
Author: Adler, A. Randolph (Austin Randolph)
Publication & Distribution: San Clemente, Calif. . St. Michael's Church, (c)2006.

# 23
Comfort food family dinners.

Comfort food family dinners.

by Comfort food family dinners.

ISBN: 9781572156258 (cloth)
ISBN: 9781572156302 (pbk.)
Publication & Distribution: Hoboken, N.J. . John Wiley, (c)2010.

# 24
Poverty and social protection in Indonesia edited by Joan Hardjono, Nuning Akhmadi, Sudarno Sumarto.

Poverty and social protection in Indonesia edited by Joan Hardjono, Nuning Akhmadi, Sudarno Sumarto.

by edited by Joan Hardjono, Nuning Akhmadi, Sudarno Sumarto.

ISBN: 9789812309396 (pbk.)
ISBN: 9789812309525 (pdf.)
Publication & Distribution: Singapore . Institute of Southeast Asian Studies ;$aJakarta, Indonesia . SMERU Research Institute, (c)2010.
Author: Hardjono, J. M. (Joan M.), 1936-
Author: Akhmadi, Nuning.
Author: Sumarto, Sudarno, 1960-

# 25
Sensuri din forme Iulian Popescu.

Sensuri din forme Iulian Popescu.

by Iulian Popescu.

ISBN: 9739149758
Author: Popescu, Iulian, 1948-
Publication & Distribution: Ias?i . Editura Universita?t?ii "Alexandru Ioan Cuza", (c)1996.

# 26
The Oxford illustrated history of the Crusades edited by Jonathan Riley-Smith.

The Oxford illustrated history of the Crusades edited by Jonathan Riley-Smith.

by edited by Jonathan Riley-Smith.

ISBN: 0192854283 (pbk.)
Publication & Distribution: Oxford ;$aNew York . Oxford University Press, (c)2001, c1995.
Author: Riley-Smith, Jonathan Simon Christopher, 1938-

# 27
The vast memory of love Malcolm Bosse.

The vast memory of love Malcolm Bosse.

by Malcolm Bosse.

ISBN: 0395629438 :$c$22.95 FPT
Author: Bosse, Malcolm J. (Malcolm Joseph)
Publication & Distribution: New York . Ticknor & Fields, (c)1992.

# 28
Italian the easy way Marcel Danesi.

Italian the easy way Marcel Danesi.

by Marcel Danesi.

ISBN: 0764134132 (alk. paper)
ISBN: 9780764134135
Author: Danesi, Marcel, 1946-
Publication & Distribution: Hauppauge, N.Y. . Barron's, (c)2006.

# 29
Sights on the sixties edited by Barbara L. Tischler.

Sights on the sixties edited by Barbara L. Tischler.

by edited by Barbara L. Tischler.

ISBN: 0813517923 (cloth) :$c$39.95
ISBN: 0813517931 (pbk.) :$c$4.95
Publication & Distribution: New Brunswick, N.J. . Rutgers University Press, (c)1992.
Author: Tischler, Barbara L., 1949-

# 30
Who is ruling in South Sudan : the role of NGOs in rebuilding socio-political order by Volker Riehl.

Who is ruling in South Sudan : the role of NGOs in rebuilding socio-political order by Volker Riehl.

by by Volker Riehl.

ISBN: 9171064850
Author: Riehl, Volker, 1956-
Publication & Distribution: Uppsala . Nordiska Afrikainstitutet, (c)2001.

# 31
Gröbner bases : a computational approach to commutative algebra Thomas Becker, Volker Weispfenning, in cooperation with Heinz Kredel.

Gröbner bases : a computational approach to commutative algebra Thomas Becker, Volker Weispfenning, in cooperation with Heinz Kredel.

by Thomas Becker, Volker Weispfenning, in cooperation with Heinz Kredel.

ISBN: 0387979719 (New York : acid-free paper)
ISBN: 3540979719 (Berlin : acid-free paper)
Author: Becker, Thomas, 1952-
Publication & Distribution: New York . Springer-Verlag, (c)1993.
Author: Weispfenning, Volker, 1944-
Author: Kredel, Heinz.

# 32
Royal gambit$h[microform] : a drama in five acts by Hermann Gressieker ; translated and adapted by George White.

Royal gambit$h[microform] : a drama in five acts by Hermann Gressieker ; translated and adapted by George White.

by by Hermann Gressieker ; translated and adapted by George White.

ISBN: 0573614954
Author: Gressieker, Hermann, 1903-1983.
Publication & Distribution: New York, N. Y. . Samuel French, (c)1959.
Author: Henry VIII,, King of England, 1491-1547$vDrama.
Author: White, George.

# 33
Computers and thought edited by Edward A. Feigenbaum & Julian Feldman.

Computers and thought edited by Edward A. Feigenbaum & Julian Feldman.

by edited by Edward A. Feigenbaum & Julian Feldman.

ISBN: 0262560925
Publication & Distribution: Menlo Park . AAAI Press :$aCambridge. MIT Press, (c) 1995.
Author: Feigenbaum, Edward A., editor.
Author: Feldman, Julian, editor.

# 34
Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra : with 91 illustrations David Cox, John Little, Donal O'Shea.

Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra : with 91 illustrations David Cox, John Little, Donal O'Shea.

by David Cox, John Little, Donal O'Shea.

ISBN: 0387946802 (alk. paper)
Author: Cox, David A.
Publication & Distribution: New York . Springer, (c)1997.
Author: Little, John B.
Author: O'Shea, Donal.

# 35
John Woo Massimiliano Spanu.

John Woo Massimiliano Spanu.

by Massimiliano Spanu.

ISBN: 8880331922
Author: Spanu, Massimiliano, 1967-
Publication & Distribution: Milano . Editrice Il castoro, (c)2001.
Author: Woo, John, 1948- Criticism and interpretation.

# 36
The Book of Acts as church history : text, textual traditions and ancient interpretations = Apostelgeschichte als Kirchengeschichte : Text, Texttraditionen und antike Auslegungen edited by Tobias Nicklas and Michael Tilly

The Book of Acts as church history : text, textual traditions and ancient interpretations = Apostelgeschichte als Kirchengeschichte : Text, Texttraditionen und antike Auslegungen edited by Tobias Nicklas and Michael Tilly

by edited by Tobias Nicklas and Michael Tilly

ISBN: 311017717X
Publication & Distribution: New York ;$aBerlin . Walter de Gruyter, (c)2003
Author: Nicklas, Tobias, 1967-
Author: Tilly, Michael.

# 37
Yo sólo sé decirme a los amantes : poesía reunida Rosibel Morera.

Yo sólo sé decirme a los amantes : poesía reunida Rosibel Morera.

by Rosibel Morera.

ISBN: 9977652422
Author: Morera, Rosibel.
Publication & Distribution: Heredia, Costa Rica . EUNA, (c)2003.

# 38
Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra David A. Cox, John Little, Donal O'Shea.

Ideals, varieties, and algorithms : an introduction to computational algebraic geometry and commutative algebra David A. Cox, John Little, Donal O'Shea.

by David A. Cox, John Little, Donal O'Shea.

ISBN: 9780387356501 (acid-free paper)
ISBN: 0387356509 (acid-free paper)
ISBN: 9780387356518 (e-ISBN)
ISBN: 0387356517 (e-ISBN)
Author: Cox, David A.
Publication & Distribution: New York . Springer, (c)2007.
Author: Little, John B.
Author: O'Shea, Donal.