

Proof, taken by the sheriffsubstitute 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 heirmale to Alexander late Earl of Caithness?" : Caithness, William Sinclair,; 中央研究院;

1769?

1


Proof, taken in November 1766, in the cause, the magistrates and towncouncil 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 GreatBritain 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 prooftheoretic approach to mathematical knowledge management : AboulHosn, Kamal; 中央研究院;


1


Prooftheoretic validity / / Stephen Read  :
人文社會聯圖, EuroAm 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 : GoubaultLarrecq, 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, JeanYves;
EuroAm 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 selfapplicative truth  / 6.4. : Beall, J. C.,;
人文社會聯圖, EuroAm Studies Lib
;

2018

1


Proof theory : history and philosophical significance


2


Proof theory in computer science : international seminar, PTCS 2001, Dagstuhl Castle, Germany, October 712, 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 BarAm ; : 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

