Search alternatives:
"prover" » "proved", "proves", "grover"
Cover Image
Read Now

1
Published 2006
Springer Berlin Heidelberg
“...Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a...”
Cover Image
Read Now

2
by Kropf, Thomas
Published 1995
Springer
Cover Image
Read Now

3
Published 1985
Springer Netherlands
Table of Contents: “... That Affect Provenance Determinations in Sandstone -- Types of Porosity in Sandstones and Their Significance...”
Cover Image
Read Now

5
by Pollard, A. M., Bray, Philip J.
Published 2018
Leuven University Press
Table of Contents: “...Preface: FLAME and the 'Oxford system' -- Previous approaches to the chemistry and provenance...”
Cover Image
Read Now

7
by Paulson, Lawrence
Published 1994
Springer
Cover Image
Read Now

9
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Session 1: Keynotes -- Automatic Generation of Workflow Provenance -- Managing Rapidly-Evolving...”
Cover Image
Read Now

10
Published 2021
Springer International Publishing
Table of Contents: “...The Evolution of Context-Aware RDF Knowledge Graphs -- Data Provenance and Accountability...”
Cover Image
Read Now

11
by Paulson, Lawrence C.
Published 1994
Springer Berlin Heidelberg
“...As a generic theorem prover, Isabelle supports a variety of logics. Distinctive features include...”
Cover Image
Read Now

12
Published 1995
Springer Berlin Heidelberg
“...This volume presents the proceedings of the Second International Conference on Theorem Provers...”
Cover Image
Read Now

13
Published 2016
Springer International Publishing
Table of Contents: “...RecProv: Towards Provenance-Aware Userspace Record and Replay -- Tracking and Analyzing...”
Cover Image
Read Now

14
Published 2018
Springer International Publishing
“...This book constitutes the refereed proceedings of the 7th International Provenance and Annotation...”
Cover Image
Read Now

15
Published 2015
Springer International Publishing
Table of Contents: “...Generating Scientific Documentation for Computational Experiments Using Provenance -- Optimizing...”
Cover Image
Read Now

16
Published 2010
Springer Berlin Heidelberg
“... and selected from numerous submissions. Provenance has been recognized to be important in a wide range of areas...”
Cover Image
Read Now

17
Published 2012
Springer Berlin Heidelberg
“...This book constitutes the revised selected papers of the 4th International Provenance...”
Cover Image
Read Now

18
Published 2008
Springer Berlin Heidelberg
Table of Contents: “...Using Provenance to Improve Workflow Design -- Job Provenance – Insight into Very Large Provenance...”
Cover Image
Read Now

19
Published 2021
Springer International Publishing
Table of Contents: “...Provenance Capture and Representation -- A Delayed Instantiation Approach to Template-driven...”
Cover Image
Read Now

20
by Pollard, Mark
Published 2018
Leuven University Press
“... have been attempting to determine the 'provenance' (geological source) of the copper used in Bronze Age...”