|
|
| 21. |
Siganporia, Harmony: Walking from Dandi : in search of vikas / Harmony Siganporia. -
New York, NY: Oxford University Press, 2022. - xvi, 292 Seiten : Illustrationen, ISBN 978-0-19-285601-2
 Buch/keine Angabe |
Signatur: 219 his 2023/1118
|
|
| 22. |
Journal of automated reasoning. -
Dordrecht [u.a.]: Springer Science + Business Media B.V., 1985-. - Online-Ressource, ISSN 1573-0670
1.1985 -
 Online-Ressource  Zeitschrift |
|
|
| 23. |
Kondylis, Florence: Learning from Self and Learning from Others : Experimental Evidence from Bangladesh / Florence Kondylis. -
Washington, D.C: The World Bank, 2023. - 1 Online-Ressource (107 pages)
DOI: 10.1596/1813-9450-10545
Online-Ressource |
|
|
| 24. |
Automated Reasoning : 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings / edited by Nicola Olivetti, Ashish Tiwari. -
Cham: Springer, 2016. - Online-Ressource (XX, 580 p. 101 illus, online resource), ISBN 978-3-319-40229-1
(Lecture Notes in Computer Science ; 9706)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
(Lecture Notes in Artificial Intelligence ; 9706)
DOI: 10.1007/978-3-319-40229-1
Online-Ressource |
|
|
| 25. |
NASA Formal Methods : 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings / edited by Sanjai Rayadurgam, Oksana Tkachuk. -
Cham: Springer, 2016. - Online-Ressource (XIX, 396 p. 129 illus, online resource), ISBN 978-3-319-40648-0
(Lecture Notes in Computer Science ; 9690)
(Programming and Software Engineering ; 9690)
(SpringerLink : Bücher)
(Springer eBook Collection : Computer Science)
DOI: 10.1007/978-3-319-40648-0
Online-Ressource |
|
|
| 26. |
Interactive Theorem Proving : 7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings / edited by Jasmin Christian Blanchette, Stephan Merz. -
Cham: Springer, 2016. - Online-Ressource (XVII, 502 p. 88 illus, online resource), ISBN 978-3-319-43144-4
(Lecture Notes in Computer Science ; 9807)
(Springer eBook Collection : Computer Science)
(SpringerLink : Bücher)
(Theoretical Computer Science and General Issues ; 9807)
DOI: 10.1007/978-3-319-43144-4
Online-Ressource |
|
|
| 27. |
AMS Short Course Rigorous Numerics in Dynamics <2016, Seattle, Wash.>: Rigorous numerics in dynamics : AMS Short Course, Rigorous Numerics in Dynamics, January 4-5, 2016, Seattle, Washington / Jan Bouwe van den Berg, Jean-Philippe Lessard, editors. -
Providence, Rhode Island: American Mathematical Society, [2018]. - viii, 213 Seiten : Illustrationen, Diagramme, ISBN 978-1-4704-2814-3
(Proceedings of symposia in applied mathematics ; volume 74)
DOI: 10.1090/psapm/074/00645
Buch/keine Angabe |
Präsenznutzung
|
|
| 28. |
Mancosu, Paolo: Syllogistic logic and mathematical proof / Paolo Mancosu and Massimo Mugnai. -
Oxford: Oxford University Press, 2023. - vi, 227 Seiten, ISBN 978-0-19-887692-2
DOI: 10.1093/oso/9780198876922.001.0001
Buch/keine Angabe |
ausleihbar  Signatur: 2023 A 5691
|
|
| 29. |
Well-Quasi orders in computation, logic, language and reasoning : a unifying concept of proof theory, automata theory, formal languages and descriptive set theory / Peter M. Schuster, Monika Seisenberger, Andreas Weiermann, editors. -
Cham: Springer Nature Switzerland, [2020]. - 1 Online-Ressource (X, 391 p. 103 illus., 4 illus. in color.), ISBN 978-3-030-30229-0
(Springer eBook Collection)
(Trends in logic, studia logica library ; volume 53)
DOI: 10.1007/978-3-030-30229-0
Online-Ressource |
|
|
| 30. |
Loveland, Donald W.: Automated theorem proving : a logical basis / Donald W. Loveland. -
Amsterdam [u.a.]: North-Holland Publ. Co., 1978. - XIII, 405 S., ISBN 978-0-7204-0499-9
(Fundamental studies in computer science ; 6)
Buch/keine Angabe  Inhaltsverzeichnis: 1, 2 |
Präsenznutzung
|
|
| 31. |
Troelstra, Anne S.: Basic proof theory / A. S. Troelstra; H. Schwichtenberg. -
Cambridge [u.a.]: Cambridge Univ. Press, 1996. - XI, 343 S. : Ill., ISBN 978-0-521-57223-1
(Cambridge tracts in theoretical computer science ; 43)
Buch/keine Angabe |
Präsenznutzung
|
|
| 32. |
Sandford, David M.: Using sophisticated models in resolution theorem proving / David M. Sandford. -
Berlin [u.a.]: Springer, 1980. - XI, 239 S. : graph. Darst., ISBN 978-3-540-10231-1
(Lecture notes in computer science ; 90)
Buch/keine Angabe |
Präsenznutzung
|
|
| 33. |
Ernst, Dana C.: An introduction to proof via inquiry-based learning / Dana C. Ernst. -
Providence, Rhode Island: MAA Press, an imprint of the American Mathematical Society, [2022]. - x, 169 Seiten : Diagramme, ISBN 978-1-4704-6333-5
(AMS/MAA textbooks ; volume 73)
Buch/keine Angabe |
Signatur: UBN/SK 130 E71
|
|
| 34. |
Hamkins, Joel David: Proof and the art of mathematics / Joel David Hamkins. -
Cambridge, Massachusetts ; London, England: The MIT Press, [2020]. - xxvi, 208 Seiten : Illustrationen (farbig), Diagramme (farbig), ISBN 978-0-262-53979-1
Buch/keine Angabe |
Signatur: UBN/SK 130 H222
|
|
| 35. |
Kumar, Satish: Pilgrimage for peace : the long walk from India to Washington / Satish Kumar. -
Cambridge: Green Books, 2021. - vii, 194 Seiten : Illustrationen, Karten, ISBN 978-0-85784-529-0
Buch/keine Angabe |
Signatur: 219 rei 2021/1814
|
|
| 36. |
Clarke, Joseph: A farther examination of Dr. Clarke's notions of space : with some considerations on the possibility of eternal creation. In reply to Mr. John Clarke's Third defence of Dr. Samuel Clarke's demonstration &c. To which are added some remarks on Mr. Jackson's exceptions to Dr Clarke's notions of space examined: in his Existence and Unity &c. By Joseph Clarke M. A. Fellow of Magdalen College Cambridge. -
Cambridge: printed for Cornelius Crownfield, and John Crownfield at the ... St. Paul's Church Yard London, MDCCXXXIV. [1734]. - Online-Ressource ([2],177,[1]p)
Online-Ressource |
|
|
| 37. |
Gentleman: A brief profession of religion : as founded on reason, consistent with, and confirm'd by revelation. Collected and drawn up in the present form, by a gentleman. To which are added, Some Thoughts, occasion'd by a late Remarker on the principal and peculiar Notions advanced in The Religion of Nature delineated. And on a letter to the Reverend Dr. C- Added to a late Essay towards a Demonstration of the Scripture-Trinity. -
London: printed for John Clark and Richard Hett, at the Bible and Crown in the Poultry, M,DCC,XXV. [1725]. - Online-Ressource (30,[2]p)
Online-Ressource |
|
|
| 38. |
A Letter concerning an American bishop, &c : to Dr. Bradbury Chandler, ruler of St. John's Church, in Elizabeth-Town.. -
S.l.: [Printed [by William and Thomas Bradford?], A.D. 1768. - 19, [1] p
Online-Ressource |
|
|
| 39. |
Stebbing, Henry: A defence of Dr. Clarke's evidences of natural and revealed religion : In answer to the fourteenth chapter of a book, entitled, Christianity as old as the creation, &c. By Henry Stebbing, D.D. -
London: printed for J. Pemberton, at the Golden Buck, over-against St. Dunstan's Church in Fleetstreet, MDCCXXXI. [1731]. - Online-Ressource (viii,104p)
Online-Ressource |
|
|
| 40. |
Bate, Julius: The faith of the ancient Jews in the law of Moses, and the evidence of the types vindicated. In a letter to the Rev. Dr. Stebbing. By Julius Bate, A. M. Rector of Sutton in Sussex, and Chaplain to the Right Hon. William Earl of Harrington. -
London: printed, and sold by M. Cooper, at the Globe in Pater-Noster Row; and W. Owen, at Homer's Head in Fleet-Street, MDCCXLVII. [1747]. - Online-Ressource ([2],77,[1]p)
Online-Ressource |
|
|
|
Suchhistorie (1 Recherche)
Jahr
