Zobrazeno 1 - 10
of 298
pro vyhledávání: '"Kautz H"'
Publikováno v:
Journal Of Artificial Intelligence Research, Volume 22, pages 319-351, 2004
Efficient implementations of DPLL with the addition of clause learning are the fastest complete Boolean satisfiability solvers and can handle many significant real-world problems, such as verification, planning and design. Despite its importance, lit
Externí odkaz:
http://arxiv.org/abs/1107.0044
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In Polymer 2004 45(4):1185-1195
Autor:
Kautz, H. D.
Publikováno v:
Food, Drug, Cosmetic Law Journal, 1957 Oct 01. 12(10), 599-605.
Externí odkaz:
https://www.jstor.org/stable/26655213
Publikováno v:
Journal für Urologie und Urogynäkologie, Vol 11, Iss 3, Pp 13-17 (2004)
Auch 80 Jahre nach der Erstbeschreibung von Hirnmetastasen eines Urothelkarzinoms der Harnblase hat sich an der extrem ungünstigen Prognose der Patienten insgesamt wenig geändert. Die Überlebenszeiten für Erkrankte mit solitären Metastasen werde
Autor:
Stiriba, S.-E., Slagt, M.Q., Kautz, H., Klein Gebbink, R.J.M., Thomann, A., Frey, H., van Koten, G., Homogene katalyse en materialen, Universiteit Utrecht, Dep Scheikunde, Dep Biologie
Publikováno v:
Chemistry-A European Journal, 10, 1267. Wiley
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=narcis______::6eb606cd96fad476be9745c1b6d388be
https://dspace.library.uu.nl/handle/1874/25911
https://dspace.library.uu.nl/handle/1874/25911