Professional business directory

Find the best businesses and services near you. Discover verified companies across all industries.

Category: proof

proof Dec 13

Alcatel 3X 2020 Shockproof Case - Code barre : 0793618549206

Alcatel 3X 2020 Shockproof Case - Code barre : 0793618549206 Made for Alcatel Find product Clear

View Details
China Topper Generator Set Manufacturer Co., Ltd.
proof Jan 24

China Topper Generator Set Manufacturer Co., Ltd.

China Topper Generator Set Manufacturer Co., Ltd.About UsChina Topper Generator Set Manufacturer Co.

View Details
proof Dec 28

Worldwisetrading Ltd Proofvision

Producer name : Worldwisetrading Ltd Proofvision Producer obligation type : B2C Producer registere

View Details
proof Dec 28

Proofcam Limited Proofcam

Producer name : Proofcam Limited Proofcam Producer obligation type : B2C Producer registered offic

View Details
proof Dec 27

Worldwisetrading Ltd - Proofvision

Producer name : Worldwisetrading Ltd Producer trading name : Proofvision Producer obligation type

View Details
proof Oct 16

TEMPORAL LOGIC: FROM PHILOSOPHY AND PROOF THEORY TO ARTIFICIAL INTELLIGENCE AND QUANTUM COMPUTING - MAINZER KLAUS & CENTRONE STEFANIA

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 12-May-23 ONLINE RELEASE DATE

View Details
proof Oct 16

PROOF AND COMPUTATION II: FROM PROOF THEORY AND UNIVALENT MATHEMATICS TO PROGRAM EXTRACTION AND VERIFICATION - MAINZER KLAUS ET AL

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 27-Jul-21 ONLINE RELEASE DATE

View Details
proof Oct 16

PROOF AND COMPUTATION: DIGITIZATION IN MATHEMATICS, COMPUTER SCIENCE AND PHILOSOPHY - MAINZER KLAUS ET AL

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 30-May-18 ONLINE RELEASE DATE

View Details
proof Oct 16

PROOFS THAT LIFE IS COSMIC: ACCEPTANCE OF A NEW PARADIGM - WICKRAMASINGHE CHANDRA

AUTHOR AFFILIATION : UNIV OF BUCKINGHAM, UK PUB DATE : 17-Oct-17 ONLINE RELEASE DATE : 27-Oct-

View Details
proof Oct 16

FREE CALCULUS: A LIBERATION FROM CONCEPTS AND PROOFS - LIN QUN

AUTHOR AFFILIATION : CHINESE ACADEMY OF SCI, CHINA PUB DATE : 23-May-08 ONLINE RELEASE DATE :

View Details
proof Oct 16

TRIG OR TREAT: AN ENCYCLOPEDIA OF TRIGONOMETRIC IDENTITY PROOFS (TIPS) WITH INTELLECTUALLY CHALLENGING GAMES - YEO NING HONG

AUTHOR AFFILIATION : M.A., PH.D., CAMBRIDGE UNIV; HONORARY FELLOW, CHRIST'S COLLEGE, CAMBRIDGE UNIV,

View Details
proof Oct 16

MEMOIRS OF A PROOF THEORIST: GODEL & OTHER LOGICIANS - YASUGI MARIKO ET AL

AUTHOR AFFILIATION : KYOTO SANGYO UNIV, JAPAN PUB DATE : 10-Feb-03 ONLINE RELEASE DATE : 6-Jan

View Details