Professional business directory

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

Category: active-proof

active-proof Mar 02

China LiCB EV Charger Co., Ltd

China LiCB EV Charger Co., LtdAbout UsChina’s LiCB Charge is a leading manufacturer of electri

View Details
active-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
active-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
active-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
active-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
active-proof Oct 16

CAFEOBJ REPORT: THE LANGUAGE, PROOF TECHNIQUES, AND METHODOLOGIES FOR OBJECT-ORIENTED ALGEBRAIC SPECIFICATION - DIACONESCU RAZVAN ET AL

AUTHOR AFFILIATION : JAPAN ADVANCED INST OF SCIENCE & TECHNOLOGY, JAPAN PUB DATE : 30-Jun-98 O

View Details
active-proof Jan 19

Alfa Proof for Special Contracting & Trading

Alfa Proof for Special Contracting & Trading Primary Sector : Construction Primary Industry :

View Details
active-proof Dec 15

FLOAT SWITCH - Code barre : 0745125220468

FLOAT SWITCH - Code barre : 0745125220468 SBM - 2 F Find product FLOAT SWITCH - 2 F - WITH WATER

View Details
active-proof Dec 13

Slumber Premium Resistance Bands + Thermo Eco Warrior Bamboo Cap Bottle - Code barre : 0745125620862

Slumber Premium Resistance Bands + Thermo Eco Warrior Bamboo Cap Bottle - Code barre : 0745125620862

View Details
active-proof Dec 13

SochGreen® Reusable Period Underwear (Hipster) - Code barre : 0745125584195

SochGreen® Reusable Period Underwear (Hipster) - Code barre : 0745125584195 Find product Absorbe

View Details
active-proof Dec 13

Reusable Bamboo Coffee Cup - Code barre : 0745760850280

Reusable Bamboo Coffee Cup - Code barre : 0745760850280 Find product Eco Friendly Bamboo Coffee

View Details
active-proof Dec 13

Set of 2 Stainless Steel Containers - Code barre : 0745760850051

Set of 2 Stainless Steel Containers - Code barre : 0745760850051 Find product There spill proof

View Details