Item request has been placed!
×
Item request cannot be made.
×
Processing Request
Item request has been placed!
×
Item request cannot be made.
×
Processing Request
-
Source:
From , A H 2020 , ' Formally Correct Deduction Methods for Computational Logic : PhD Project Description ' , Paper presented at 13th Conference on Intelligent Computer
-
Record details
-
Source:
Coulon , M , Lange , N & Prinzbach , D 2018 , ' The trade-off between liquidity and correlation: Proxy hedging of bunker fuel ' , 20th European Conference on Mathematics
-
Record details
-
Source:
From , A H , Hatteland , H & Villadsen , J 2018 , ' Teaching First-Order Logic with the Natural Deduction Assistant (NaDeA) ' , Paper presented at 10th Scandinavian Logic Symposium , Gothenburg ,
-
Record details
-
Source:
Bentzen , M M 2017 , ' The Ineliminable Distortion of Reality: On Causality, Representation, Abstraction and Idealization in Batterman’s Philosophy of Science ' , Nordic Network on Philosophy of
-
Record details
Subjects: /dk/atira/pure/sustainabledevelopmentgoals/life_below_water
-
Source:
Grigorov , I , Payne , D , Vogt , B , Knappe , C & Riedel , W 2017 , ' LEARN-TEACH: a pilot to boost Ocean Literacy in High Schools ' , Geophysical Research Abstracts , vol. 19 , 18398-2 .
-
Record details
-
Source:
Friesel , A 2016 , ' Training Engineering Disciplines and Skills through Robot Projects ' , 5th Israeli Conference on Robotics , Herzliya , Israel , 13/04/2016 - 14/04/2016 .
-
Record details
-
Source:
Spikol , D , Friesel , A & Ehrenberg , H 2016 , ' Supporting Robotics Education in STEM with Learning Analytics ' , 5th Israeli Conference on Robotics , Herzliya , Israel , 13/04/2016 - 14/04/2016 .
-
Record details
-
Source:
Pawlak , W , Glimberg , S L & Engsig-Karup , A P 2015 , ' Computational Hydrodynamics: How Portable and Scalable Are Heterogeneous Programming Paradigms? ' , SIAM Conference on Computational Science
-
Record details
