Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 235,619,666 papers from all fields of science
Search
Sign In
Create Free Account
Journal of Formalized Reasoning
Known as:
JFR
, JOFR
The Journal of Formalized Reasoning is a peer-reviewed open access academic journal established in 2009. It publishes formalization efforts in any…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
6 relations
Algorithm
Automated proof checking
Digital library
Mizar
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2020
2020
JFR special issue on agricultural robotics, part 2
Christopher F. Lehnert
,
C. McCool
,
+4 authors
E. Henten
J. Field Robotics
2020
Corpus ID: 211536739
This is the third special issue on agricultural robots in the Journal of Field Robotics . As previously indicated in volume one…
Expand
2018
2018
Referees for JFR Vol 35 (2018)
J. Field Robotics
2018
Corpus ID: 117728104
2015
2015
Certifications of programs with computational effects. (Certification de programmes avec des effets calculatoires)
Burak Ekici
2015
Corpus ID: 29852513
In this thesis, we aim to formalize the effects of a computation. Indeed, most used programming languages involve different sorts…
Expand
2014
2014
Editorial for the JFR Special Issue on Low Altitude Flight of UAVs
F. Kendoul
,
R. Siegwart
,
Jonathan M. Roberts
J. Field Robotics
2014
Corpus ID: 19364318
This special issue of the Journal of Field Robotics focuses on low altitude flight of UAVs with a particular emphasis on fully…
Expand
2014
2014
Mitteilungen der Stiftung LebensBlicke
O. Wiestler
Der Gastroenterologe
2014
Corpus ID: 20004282
Prof. Dr. J. F. Riemann (JFR) sprach mit Prof. Dr. Otmar D. Wiestler (ODW), dem wissenschaftlichen Stiftungsvorstand und…
Expand
2012
2012
Gleichheit und Universalität : Tagungen des Jungen Forums Rechtsphilosophie (JFR) in der Internationalen Vereinigung für Rechts- und Sozialphilosophie (IVR) im September 2010 in Halle (Saale) und im…
Stephan Ast
,
Julia Hänni
,
K. Mathis
,
B. Zabel
2012
Corpus ID: 177413849
2010
2010
2000-tallet: Fra optimisme til krise
Ådne Cappelen
,
Torbjørn Eika
2010
Corpus ID: 148305038
Rapporten er delvis finansiert av Folketrygdfondet og en artikkel basert pa dette arbeidet trykkes i Folketrygdsfondets…
Expand
2010
2010
Use of serum autoantibodies to identify early-stage lung cancer.
L. Peek
,
S. Lam
,
+6 authors
W. Wood
2010
Corpus ID: 78719169
7032 Background: EarlyCDT-Lung measures autoantibodies to a panel of six cancer-associated antigens (p53, NY-ESO1, CAGE, GBU4-5…
Expand
2007
2007
FIKK VI SOM FORTJENT? : En gjennomgang av lover og forskrifter som regulerer adgangen til tvungen behandling av personer med spiseforstyrrelser Jfr ny § 4-4b i psykisk helsevernloven
Knut Olav Grønbeck
2007
Corpus ID: 192638024
2006
2006
Hybridization in Fragrant Roses for quality improvement
D. Dhyani
,
S. Karthigeyan
,
P. Ahuja
2006
Corpus ID: 134726538
Rose has been used by human beings for medicinal and essential oil purposes since ancient time, and even today it is globally…
Expand