Category: logic
AUDIO LOGIC LIMITED -
Producer name : AUDIO LOGIC LIMITED Producer trading name : Producer obligation type : B2B Produ
View DetailsKRATOS Defense and Securities Solutions - Kratos RT LOGIC, Inc.
Producer name : KRATOS Defense and Securities Solutions Producer trading name : Kratos RT LOGIC, In
View DetailsTEMPORAL 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 DetailsMACHINE LEARNING, MULTI AGENT AND CYBER PHYSICAL SYSTEMS - PROCEEDINGS OF THE 15TH INTERNATIONAL FLINS CONFERENCE (FLINS 2022) - SUN QINGLIN ET AL
AUTHOR AFFILIATION : NANKAI UNIV, CHINA PUB DATE : 20-Dec-22 ONLINE RELEASE DATE : 30-Jan-23
View DetailsLOGIC OF THE THIRD, THE: A PARADIGM SHIFT TO A SHARED FUTURE FOR HUMANITY - HOFKIRCHNER WOLFGANG
AUTHOR AFFILIATION : THE INST FOR A GLOBAL SUSTAINABLE INFORMATION SOCIETY, AUSTRIA PUB DATE : 21
View DetailsWAVELETS IN SOFT COMPUTING (SECOND EDITION) - THUILLARD MARC P
AUTHOR AFFILIATION : BELIMO AUTOMATION AG, SWITZERLAND PUB DATE : 9-Sep-22 ONLINE RELEASE DATE
View DetailsQUANTUM-LIKE NETWORKS: AN APPROACH TO NEURAL BEHAVIOR THROUGH THEIR MATHEMATICS AND LOGIC - SELESNICK STEPHEN A
AUTHOR AFFILIATION : UNIV OF MISSOURI-ST LOUIS, USA PUB DATE : 3-Aug-22 ONLINE RELEASE DATE :
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 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 DetailsCHANCE, LOGIC AND INTUITION: AN INTRODUCTION TO THE COUNTER-INTUITIVE LOGIC OF CHANCE - TIJMS STEVEN
AUTHOR AFFILIATION : - PUB DATE : 18-Feb-21 ONLINE RELEASE DATE : 19-Feb-21 Print ISBN 13 :
View DetailsSTRUCTURE AND RANDOMNESS IN COMPUTABILITY AND SET THEORY - CENZER DOUGLAS, PORTER CHRISTOPHER & ZAPLETAL JINDRICH
AUTHOR AFFILIATION : UNIV OF FLORIDA, USA PUB DATE : 2-Oct-20 ONLINE RELEASE DATE : 5-Oct-20
View Details