|
|
Proof, taken by the sheriff-substitute of the shires of Argyle and Inverness, upon the petition and information, presented to him for Captain Colin Campbell : Shires of Argyll and Inverness (Scotland).; 中央研究院;
|
1765?
|
1
|
|
Proof taken by William Sinclair of Ratter, Esq; in the competition of brieves betwixt him and James Sinclair in Riess. The question at issue is, "Which of these two claimants is lawful heir-male to Alexander late Earl of Caithness?" : Caithness, William Sinclair,; 中央研究院;
|
1769?
|
1
|
|
Proof, taken in November 1766, in the cause, the magistrates and town-council of Perth, and the tacksman of their mills, against John Richardson merchant in Perth, and John Clark baker there. Referred to in the informations for them. Pursuers proof : Perth (Scotland); 中央研究院;
|
1766
|
1
|
|
Proof techniques in graph theory; proceedings. : Ann Arbor Graph Theory Conference,;
Mathematics Library, Statistics Sci. Lib.
;
|
1969
|
1
|
|
Proof technology and computation
|
|
3
|
|
Proof technology in mathematics research and teaching : 中央研究院;
|
2019
|
1
|
|
Symposium on Algebraic Topology in Honor of Jose Adem [edited by Samuel Gitler] / : Symposium on Algebraic Topology in Honor of Jose Adem; Mathematics Library;
|
c1982
|
1
|
|
Proof that Great-Britain must be injured by that act : 中央研究院;
|
1766
|
1
|
|
A proof that measured data and equations of quantum mechanics can be linked only by guesswork / / John M. Myers and F. Hadi Madjid --http://www.ams.org/conm/305/http://dx.doi.org/10.1090/conm/305/05222 : AMS Special Session Quantum Computation and Information; Mathematics Library;
|
c2002
|
1
|
|
A Proof that minors have a right to vote for members to serve in Parliament, for the borough of Trinity College, Dublin : 中央研究院;
|
1791
|
1
|
|
Proof that the last translation of the Bible into English may be improved : Gell, Robert,; 中央研究院;
|
1659
|
1
|
|
A proof-theoretic approach to mathematical knowledge management : Aboul-Hosn, Kamal; 中央研究院;
|
|
1
|
|
Proof-theoretic validity / / Stephen Read -- :
人文社會聯圖, Euro-Am Studies Lib
;
|
2015
|
1
|
|
Proof theoretical study of the structure of logic and computation : Mathematics Library;
|
2009
|
1
|
|
Proof theory
|
|
6
|
|
Proof theory : a selection of papers from the Leeds Proof Theory Programme, 1990 : Leeds Proof Theory Programme; Mathematics Library;
|
1992
|
1
|
|
Proof theory : an introduction
|
|
2
|
|
Proof theory and algebra in logic : Ono, Hiroakira,; 中央研究院;
|
2019
|
1
|
|
Proof theory and automated deduction : Goubault-Larrecq, Jean;
Information Sci. Lib., Mathematics Library
;
|
1997
|
1
|
|
Proof theory and computation theory : Mathematics Library;
|
2005
|
1
|
|
Proof theory and intuitionistic systems
|
|
2
|
|
Proof theory and logical complexity : Girard, Jean-Yves;
Euro-Am Studies Lib, Mathematics Library
;
|
c1987-
|
1
|
|
A proof theory for description logics : Rademaker, Alexandre; 中央研究院;
|
2012
|
1
|
|
Proof theory for fuzzy logics : Metcalfe, George; 中央研究院;
|
2009
|
1
|
|
A proof theory for general unification : Snyder, Wayne,;
Information Sci. Lib., Mathematics Library
;
|
1991
|
1
|
|
Proof theory for self-applicative truth -- / 6.4. : Beall, J. C.,;
人文社會聯圖, Euro-Am Studies Lib
;
|
2018
|
1
|
|
Proof theory : history and philosophical significance
|
|
2
|
|
Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 7-12, 2001 : proceedings
|
|
3
|
|
Proof theory of arithmetic : Mathematics Library;
|
2007
|
1
|
|
Proof theory of modal logic
|
|
2
|
|
Proof Theory of the Cut Rule /
|
|
2
|
|
Proof theory the first step into impredicativity : Pohlers, Wolfram; 中央研究院;
|
2009
|
1
|
|
Proof through the night : music and the great war
|
|
3
|
|
The proof : uses of evidence in law, politics, and everything else : Schauer, Frederick F.,; 人文社會聯圖;
|
2022
|
1
|
|
Proof versus sound inference / / Nimrod Bar-Am ; : CLP Library;
|
2009
|
1
|
|
Proof. : 羅傑斯; 人文社會聯圖;
|
2016
|
1
|
|
The proofe of a good preacher the right art of hearing : that good counsel is seldom well taken : that wilful offenders are as witlesse as wicked : with an apologie for wholesome truth, how distasteful soever : Younge, Richard; 中央研究院;
|
1661
|
1
|
|
Proofe of a pudding is all in the eating : M. P.; 中央研究院;
|
1634
|
1
|
|
Proofe of D. Bancrofts rashnes against the Church of Scotland : Davidson, John,; 中央研究院;
|
1590
|
1
|
|
Proofes of Christianitie
|
|
2
|
|
Proofiness : the dark arts of mathematical deception : 席夫; 人文社會聯圖;
|
2011
|
1
|
|
Proofreading and active noise reduction ; / 4.6 : Bialek, William S;
Physics Library, Life Sci. LIB
;
|
c2012
|
1
|
|
Proofreading Your Poster Material -- / 5.3. : Krantz, William B.,; 中央研究院;
|
2017
|
1
|
|
Proofreading Your Presentation -- / 4.3. : Krantz, William B.,; 中央研究院;
|
2017
|
1
|
|
Proofreading Your Printed Poster -- / 5.4. : Krantz, William B.,; 中央研究院;
|
2017
|
1
|
|
Proofs --
|
|
3
|
|
Proofs and algorithms an introduction to logic and computability : Dowek, Gilles; 中央研究院;
|
2011
|
1
|
|
Proofs and Computations : Schwichtenberg, Helmut; Department of Information Technology Services;
|
2011
|
1
|
|
Proofs and confirmations : the story of the alternating sign Matrix conjecture : Bressoud, David M.,;
Statistics Sci. Lib., Mathematics Library
;
|
1999
|
1
|
|
Proofs and demonstrations how much the projected registry of colonial negroes is unfounded and uncalled for : 中央研究院;
|
1817
|
1
|
|