Professional business directory

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

Category: klaus

klaus 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
klaus 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
klaus Oct 16

FOUNDATIONS OF QUANTUM FIELD THEORY - ROTHE KLAUS DIETER

AUTHOR AFFILIATION : UNIV OF HEIDELBERG, GERMANY PUB DATE : 3-Sep-20 ONLINE RELEASE DATE : 3-S

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

INFLAMMATION: FUNDAMENTAL MECHANISMS - LEY KLAUS

AUTHOR AFFILIATION : LA JOLLA INST FOR ALLERGY AND IMMUNOLOGY, USA PUB DATE : 13-Mar-18 ONLINE

View Details
klaus Oct 16

DIGITAL AND THE REAL WORLD, THE: COMPUTATIONAL FOUNDATIONS OF MATHEMATICS, SCIENCE, TECHNOLOGY, AND PHILOSOPHY - MAINZER KLAUS

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 17-Nov-17 ONLINE RELEASE DATE

View Details
klaus Oct 16

LOCAL ACTIVITY PRINCIPLE: THE CAUSE OF COMPLEXITY AND SYMMETRY BREAKING - MAINZER KLAUS ET AL

AUTHOR AFFILIATION : TECHNISCHE UNIV MUNCHEN, GERMANY PUB DATE : 15-Mar-13 ONLINE RELEASE DATE

View Details
klaus Oct 16

CLASSICAL AND QUANTUM DYNAMICS OF CONSTRAINED HAMILTONIAN SYSTEMS - ROTHE HEINZ J & ROTHE KLAUS D

AUTHOR AFFILIATION : UNIV HEIDELBERG, GERMANY PUB DATE : 14-Apr-10 ONLINE RELEASE DATE : 29-Ju

View Details
klaus Oct 16

SYMMETRY AND COMPLEXITY: THE SPIRIT AND BEAUTY OF NONLINEAR SCIENCE - MAINZER KLAUS

AUTHOR AFFILIATION : UNIV AUGSBURG, GERMANY PUB DATE : 10-Jun-05 ONLINE RELEASE DATE : 22-Sep-

View Details
klaus Dec 15

priuMask FFP2 NR partikelfiltrierende Halbmaske - Code barre : 0763163318770

priuMask FFP2 NR partikelfiltrierende Halbmaske - Code barre : 0763163318770 Medizinische Schutzaus

View Details
klaus Dec 15

priuMask FFP2 NR partikelfiltrierende Halbmaske - Code barre : 0763163318695

priuMask FFP2 NR partikelfiltrierende Halbmaske - Code barre : 0763163318695 Medizinische Schutzaus

View Details