Skip to search formSkip to main contentSkip to account menu

JTK 109

Known as: JTK-109, JTK109 
National Institutes of Health

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Lokal anestezikler anestezik ve postoperatif analjezik olarak sikca kullanilmaktadirlar. Bupivakain en sik kullanilan amid grubu… 
2013
2013
This thesis is about extracting programs from classical proofs. In the first part, we show conservativity of Peano arithmetic…