Sortiert nach
Journal of automated reasoning, 2007-05, Vol.38 (4), p.303-351
2007
Link zum Volltext
Lecture notes in computer science, 2002, p.51-63
2002
Link zum Volltext
Electronic notes in theoretical computer science, 2006-05, Vol.159, p.205-226
2006
Link zum Volltext
2009 Fourth International Conference on Software Engineering Advances, 2009, p.78-85
2009
- Link zum Volltext
Artificial Intelligence, Automated Reasoning, and Symbolic Computation, p.51-63
Link zum Volltext
Epidemics, 2022-12, Vol.41, p.100626-100626, Article 100626
2022
Link zum Volltext
The Journal of urology, 2022-08, Vol.208 (2), p.101097JU0000000000002697-387
2022
Link zum Volltext
European urology, 2023-10, Vol.84 (4), p.361-370
- Surasi, Devaki Shilpa
- Eiber, Matthias
- Maurer, Tobias
- Preston, Mark A.
- Helfand, Brian T.
- Josephson, David
- Tewari, Ashutosh K.
- Somford, Diederik M.
- Rais-Bahrami, Soroush
- Koontz, Bridget F.
- Bostrom, Peter J.
- Chau, Albert
- Davis, Phillip
- Schuster, David M.
- Chapin, Brian F.
- Allaf, Mohamad
- Andriole, Gerald
- Avery, Ryan J.
- Avril, Norbert
- Barker, Helen
- Belkoff, Laurence
- Budäus, Lars
- Cher, Michael L.
- Chisholm, Diane
- Covington, Matthew F.
- Cox, Ian
- Ferrandino, Michael
- Fleming, Mark T.
- Franceschi, Dinko
- Gardiner, Peter
- Gartrell, Benjamin
- Gauden, David
- Hasa, Ergela
- Hermsen, Rick
- Horn, Thomas
- Iranpour, Pooya
- Jacene, Heather
- Jayaratna, Isuru
- Joshi, Shreyas S.
- Kay, Matthew
- Kostakoglu, Lale
- Kuo, Phillip
- Lavely, William
- Lokuta, Mary
- Lowentritt, Benjamin
- Miller, Matthew P.
- Nix, Jeffrey W.
- Ogan, Kenneth
- Penny, Ross
- Piert, Morand
- Purysko, Andrei
- Ravizzini, Gregory
- Saltzstein, Daniel
- Savir-Baruch, Bital
- Siegel, Barry A.
- Steuber, Thomas
- Twardowski, Przemyslaw
- Uchio, Edward
- Ulaner, Gary A.
- Wixom, Jenna M.
- Yoo, Don
- Zukotynski, Katherine
2023
Link zum Volltext
Wellcome open research, 2022, Vol.7, p.49-49
2022
Link zum Volltext
The Journal of urology, 2023-08, Vol.210 (2), p.299-311
2023
Link zum Volltext
Experimental neurology, 2013-09, Vol.247, p.143-157
2013
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Computer Science
- Software Engineering
- Technology
- Abstract Convertibility Relation
- Abstract Rewrite Tree
- Ethics
- Formal System
- Human Challenge Study
- Logicality
- Multiagent Systems
- Programming Languages
- Semi-Commutation
- Urology & Nephrology
- Web
- Abstract Completion Procedure
- Abstract Deduction Procedure
- Abstract Rewrite System
- Abstract Rewriting
Kollektion
- Ingenta
- Elsevier ScienceDirect Journals Complete
- IngentaConnect Journals
- Ovid SocietyJournals and Single Titles
- EZB Free E-Journals
- MEDLINE
- HEAL-Link subscriptions: Springer Book Series
- NUS Single-Journal Subscriptions
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IEEE/IET Electronic Library (IEL)
- SpringerLink
Zeitschrift / Serie