Category: foundations
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 DetailsMATHEMATICS FOR COMPUTATION (M4C) - BENINI MARCO ET AL
AUTHOR AFFILIATION : UNIV DEGLI STUDI DELL'INSUBRIA, ITALY PUB DATE : 21-Mar-23 ONLINE RELEASE
View DetailsELECTRON STATISTICS IN QUANTUM CONFINED SUPERLATTICES - GHATAK KAMAKHYA PRASAD ET AL
AUTHOR AFFILIATION : UNIV OF ENGINEERING AND MANAGEMENT, INDIA PUB DATE : 14-Mar-23 ONLINE REL
View DetailsLECTURES IN THE MICROECONOMICS OF CHOICE: FOUNDATIONS, CONSUMERS, AND PRODUCERS - BRYANT WILLIAM DAVID ANTHONY
AUTHOR AFFILIATION : MACQUARIE UNIV, AUSTRALIA PUB DATE : 17-Feb-23 ONLINE RELEASE DATE : 7-Ma
View DetailsFOUNDATIONS OF THE HYPERUNIFIED FIELD THEORY - WU YUE-LIANG
AUTHOR AFFILIATION : INST OF THEORETICAL PHYSICS, CHINESE ACADEMY OF SCIENCES, CHINA PUB DATE : 2
View DetailsTOPOLOGICAL FOUNDATIONS OF ELECTROMAGNETISM (SECOND EDITION) - BARRETT TERENCE WILLIAM
AUTHOR AFFILIATION : BSEI, USA PUB DATE : 30-May-22 ONLINE RELEASE DATE : 29-Jun-22 Print I
View DetailsCOMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS - PROCEEDINGS OF THE 9TH INTERNATIONAL CONFERENCE ON COMPUTABILITY THEORY AND FOUNDATIONS OF MATHEMATICS - PENG NINGNING ET AL
AUTHOR AFFILIATION : WUHAN UNIV OF TEHCNOLOGY, CHINA PUB DATE : 18-May-22 ONLINE RELEASE DATE
View DetailsMATHEMATICAL FOUNDATIONS OF NONEXTENSIVE STATISTICAL MECHANICS - SABIR UMAROV ET AL
AUTHOR AFFILIATION : UNIV OF NEW HAVEN, USA PUB DATE : 3-Mar-22 ONLINE RELEASE DATE : 10-Mar-2
View DetailsTOPICS IN NANOSCIENCE (IN 2 PARTS) - SCHOMMERS WOLFRAM
AUTHOR AFFILIATION : UNIV OF TEXAS AT ARLINGTON, USA & KARLSRUHE INST OF TECHNOLOGY (KIT), GERMANY
View DetailsSELF-ORGANISING MULTI-AGENT SYSTEMS: ALGORITHMIC FOUNDATIONS OF CYBER-ANARCHO-SOCIALISM - PITT JEREMY
AUTHOR AFFILIATION : IMPERIAL COLLEGE LONDON, UK PUB DATE : 21-Sep-21 ONLINE RELEASE DATE : 29
View DetailsPROOF 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 DetailsELASTIC CONSTANTS IN HEAVILY DOPED LOW DIMENSIONAL MATERIALS - GHATAK KAMAKHYA PRASAD ET AL
AUTHOR AFFILIATION : INST OF ENGINEERING & MANAGEMENT, INDIA & UNIV OF ENGINEERING AND MANAGEMENT, I
View Details