Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,332,192 papers from all fields of science
Search
Sign In
Create Free Account
Stricticollis tobias
Known as:
Stricticomus tobias
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Adding Soft Types to Isabelle
Alexander Krauss
,
J. Avigad
,
John Matthews
,
T. Nipkow
,
Larry Paulson
2018
Corpus ID: 53056789
This note describes how I would like to approach the “soft type challenge” in Isabelle. It collects ideas that emerged in…
Expand
2017
2017
Martin Gregersen a Tobias Skiveren, Den Materielle Drejning. Natur, teknologi og krop i (nyere) dansk litteratur. University of Southern Denmark Studies in Scandinavian Languages and Literatures 134…
Adam Wickberg Månsson
2017
Corpus ID: 166025734
Martin Gregersen & Tobias Skiveren, Den Materielle Drejning. Natur, teknologi og krop i (nyere) dansk litteratur. University of…
Expand
2014
2014
Peter Borscheid, David Gugerli, Tobias Straumann: Swiss Re und die Welt der Risikomärkte. Eine Geschichte. Herausgegeben von Harold James. München 2014. - HSK/Infoclio / Rezensionen / Bücher
Nicolai Hannig
2014
Corpus ID: 162883561
Nicolai Hannig uber: Borscheid, Peter; Gugerli, David; Straumann, Tobias: Swiss Re und die Welt der Risikomarkte. Eine Geschichte…
Expand
Review
2011
Review
2011
Review of Brandão de Carvalho, Joaquim, Scheer Tobias and Philippe Ségéral (eds). 2008. Lenition and Fortition
J. Kul
,
Sylwester Małgorzata
2011
Corpus ID: 164376140
2007
2007
Indispensable Outcasts Hobo Workers and Community in the American Midwest, 1880-1930 by Frank Tobias Higbie; The Bonus Army An American Epic by Paul Dickson and Thomas B. Allen
K. Kusmer
2007
Corpus ID: 161918326
2006
2006
Migration och professioner i förändring
Carin Björngren Cuadra
,
Linda Lill
,
Tobias Schölin
,
Caroline Ljungberg
,
Sophie Hydén
2006
Corpus ID: 191096034
Forord - Ola Fransson och Bjorn Fryklund; Om professionalism, fortroende och tillit - Ola Fransson; Talet om patienter - en vav…
Expand
1997
1997
Traditional values and modern concerns: The "Committe to re-establish the trickster
Gundula Wilke
1997
Corpus ID: 56553116
In 1986, a group of Native writers in the Toronto area founded the “Committee To Re-Establish the Trickster” (CRET); founding…
Expand
1996
1996
British records of two species of Blacometeorus Tobias (Hymenoptera: Braconidae, Blacinae)
M. Shaw
1996
Corpus ID: 81991143
1982
1982
A history of Kenyan guitar music: 1945-1980
J. Low
1982
Corpus ID: 53388022
Between November 1979 and April 1980, as part of a trip including several other African countries, I spent 5 months in Kenya. One…
Expand
1952
1952
Oekologischer Querschnitt durch den „Parque Nacional de Aragua“
E. Schäfer
Journal für Ornithologie
1952
Corpus ID: 41730658
Die folgenden 5kologischen Aufzeidmuagen sind als Gerfist ffir eine sp~tere monogr~aphische Darstel,lung fiber die Vogelwelt des…
Expand