Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Reynolds, Andrew J"'
Autor:
Kuhn, Megan B., VandenBerg, Hayden S., Reynolds, Andrew J., Carson, Matthew D., Warner, Amy J., LaRue, Amanda C., Novince, Chad M., Hathaway-Schrader, Jessica D.
Publikováno v:
In Bone Reports June 2023 18
Autor:
Ekici, Burak, Katz, Guy, Keller, Chantal, Mebsout, Alain, Reynolds, Andrew J., Tinelli, Cesare
Publikováno v:
EPTCS 210, 2016, pp. 21-29
This extended abstract reports on current progress of SMTCoq, a communication tool between the Coq proof assistant and external SAT and SMT solvers. Based on a checker for generic first-order certificates implemented and proved correct in Coq, SMTCoq
Externí odkaz:
http://arxiv.org/abs/1606.05947
Autor:
Reynolds, Andrew J.
Publikováno v:
Title page, contents and introduction only.
Thesis (B.A.(Hons.))--University of Adelaide, Dept. of Politics, 1994?
"This thesis examines the tariff debate in the context of the development of Australia's and particularly South Australia's moter vehicle industry." Includes bibliographical
"This thesis examines the tariff debate in the context of the development of Australia's and particularly South Australia's moter vehicle industry." Includes bibliographical
Externí odkaz:
http://web4.library.adelaide.edu.au/theses/09AR/09arr462.pdf
Autor:
Reynolds, Andrew J
Medieval Archaeology, 38, 169-171
Description of a Late Anglo-Saxon pewter disc brooch recovered in 1989 in Steyning, West Sussex, from a rubbish pit in a context dated to the late-thirteenth or early-fourteenth century.
Description of a Late Anglo-Saxon pewter disc brooch recovered in 1989 in Steyning, West Sussex, from a rubbish pit in a context dated to the late-thirteenth or early-fourteenth century.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::a0cd2a06e144e7cea079f05d54eb3df5
Autor:
Milne, Gustav, Reynolds, Andrew J
London Archaeologist, 7 (6), 143-149
This article details the phases of construction and relates this information to the rest of the church fabric.
This article details the phases of construction and relates this information to the rest of the church fabric.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7a283d8b8fc044c83521a3df423446d5
Publikováno v:
Southern Medical Journal. Oct1997 Supplement, Vol. 90, pS183-S183. 1p.
Autor:
Reynolds, Andrew J.1, Ferrante, Mark A.1
Publikováno v:
Southern Medical Journal. Oct1997 Supplement, Vol. 90, pS153-S153. 1p.
Autor:
Reynolds, Andrew Joseph
Publikováno v:
Theses and Dissertations.
In recent years, Satisfiability Modulo Theories (SMT) solvers have emerged as powerful tools in many formal methods applications, including verification, automated theorem proving, planning and software synthesis. The expressive power of SMT allows p
Externí odkaz:
https://ir.uiowa.edu/etd/5047
https://ir.uiowa.edu/cgi/viewcontent.cgi?article=5047&context=etd
https://ir.uiowa.edu/cgi/viewcontent.cgi?article=5047&context=etd
Autor:
Alkins SA; Department of Pulmonary and Critical Care Medicine, Landstuhl Regional Medical Center, Germany. stephan.alkins@lnd.amedd.army.mil, Reynolds AJ
Publikováno v:
Aviation, space, and environmental medicine [Aviat Space Environ Med] 2002 Jul; Vol. 73 (7), pp. 677-80.