Skip to contents Kapur, Deepak [Editor] ; ASCM 8 2007 Singapur Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5081 Kapur, Deepak [Editor] ; CADE 11 1992 Saratoga Springs, NY International Conference on Automated Deduction Automated deduction : CADE-11 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Lecture notes in computer science ; 607 Kapur, Deepak [Author] ; Deepak Kapur [Contributor] A Modular Associative Commutative (AC) Congruence Closure Algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021 Kapur, Deepak [Author] ; Deepak Kapur [Contributor] Automatically Generating Loop Invariants Using Quantifier Elimination Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006 Kapur, Deepak [Other] ; CADE 11 1992 Saratoga Springs, NY International Conference on Automated Deduction Automated deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15 - 18, 1992 ; proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1992 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 60700 Kapur, Deepak [Author] Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992 Published in: Lecture notes in computer science ; 607 Demri, Stéphane [Author] ; Kapur, Deepak [Editor]; Weidenbach, Christoph [Editor] Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2014 Published in: Lecture notes in computer science ; 8562 Giesl, Jürgen [Other]; Kapur, Deepak [Other] Deciding inductive validity of equations - [rev. vers.] Books View online Schließen > Access https://edocs.tib.eu/files/e01fn09/500909423.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, 2003 Published in: Aachener Informatik-Berichte ; 2003,3 Baader, Franz [Author]; Kapur, Deepak [Author] Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols Articles View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-887113 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.] : Springer Science + Business Media B.V., [2024] Baader, Franz [Author]; Kapur, Deepak [Author] Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-796234 More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2020 Published in: LTCS-Report ; 20,2 Falke, Stephan [Author]; Kapur, Deepak [Author] Rewriting Induction + Linear Arithmetic = Decision Procedure Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/1000025940 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruher Institut für Technologie, 2012-01-01 Falke, Stephan [Author]; Kapur, Deepak [Author] Rewriting Induction + Linear Arithmetic = Decision Procedure Books View online Schließen > Access https://digbib.bibliothek.kit.edu/volltexte/1000025940 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: KIT, Fakultät für Informatik, 2012 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2012,2 Hung, Dang Van [Editor]; Kapur, Deepak [Editor] Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10580 Fränzle, Martin [Editor]; Kapur, Deepak [Editor]; Zhan, Naijun [Editor] Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2016 Published in: Lecture notes in computer science ; 9984 Falke, Stephan [Author]; Kapur, Deepak [Author]; Sinz, Carsten [Author] Termination Analysis of C Programs Using Compiler Intermediate Languages Books View online Schließen > Access https://digbib.bibliothek.kit.edu/volltexte/1000021789 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: KIT, Fakultät für Informatik, 2011 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2011,6 Carbonell, Jaime G. [Other]; Kapur, Deepak [Other]; Siekmann, Jörg [Other] Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Published in: Lecture notes in computer science ; 5081 Ghilardi, Silvio [Author]; Gianola, Alessandro [Author]; Kapur, Deepak [Author] Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations Articles View online Schließen > Access http://ceur-ws.org/Vol-2710/#paper5 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2020 Published in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 67-81 Falke, Stephan [Author]; Kapur, Deepak [Author]; Sinz, Carsten [Author] Termination Analysis of C Programs Using Compiler Intermediate Languages Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/1000021789 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruher Institut für Technologie, 2011-01-01 Falke, Stephan [Author]; Kapur, Deepak [Author]; Sinz, Carsten [Author] ; Stephan Falke and Deepak Kapur and Carsten Sinz [Contributor] Termination Analysis of C Programs Using Compiler Intermediate Languages Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011 Kapur, Deepak [Author]; Podelski, Andreas [Author]; Voronkov, Andrei [Author] ; Deepak Kapur and Andreas Podelski and Andrei Voronkov [Contributor] Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2003
Kapur, Deepak [Editor] ; ASCM 8 2007 Singapur Computer mathematics : 8th Asian symposium, ASCM 2007, Singapore, December 15-17, 2007 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 2008 Published in: Lecture notes in computer science ; 5081
Kapur, Deepak [Editor] ; CADE 11 1992 Saratoga Springs, NY International Conference on Automated Deduction Automated deduction : CADE-11 ; proceedings Books Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin; Heidelberg [u.a.]: Springer, 1992 Published in: Lecture notes in computer science ; 607
Kapur, Deepak [Author] ; Deepak Kapur [Contributor] A Modular Associative Commutative (AC) Congruence Closure Algorithm Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2021
Kapur, Deepak [Author] ; Deepak Kapur [Contributor] Automatically Generating Loop Invariants Using Quantifier Elimination Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2006
Kapur, Deepak [Other] ; CADE 11 1992 Saratoga Springs, NY International Conference on Automated Deduction Automated deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15 - 18, 1992 ; proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin [u.a.]: Springer, 1992 ; Online-Ausg.: Berlin [u.a.]: Springer, 2006 Published in: Lecture notes in computer science ; 60700
Kapur, Deepak [Author] Automated Deduction - CADE-11 : 11th International Conference on Automated Deduction, Saratoga Springs, NY, USA, June 15-18, 1992. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 1992 Published in: Lecture notes in computer science ; 607
Demri, Stéphane [Author] ; Kapur, Deepak [Editor]; Weidenbach, Christoph [Editor] Automated Reasoning : 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham [u.a.]: Springer, 2014 Published in: Lecture notes in computer science ; 8562
Giesl, Jürgen [Other]; Kapur, Deepak [Other] Deciding inductive validity of equations - [rev. vers.] Books View online Schließen > Access https://edocs.tib.eu/files/e01fn09/500909423.pdf Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Aachen: RWTH, 2003 Published in: Aachener Informatik-Berichte ; 2003,3
Baader, Franz [Author]; Kapur, Deepak [Author] Deciding the Word Problem for Ground and Strongly Shallow Identities w.r.t. Extensional Symbols Articles View online Schließen > Links https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-887113 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dordrecht [u.a.] : Springer Science + Business Media B.V., [2024]
Baader, Franz [Author]; Kapur, Deepak [Author] Deciding the Word Problem for Ground Identities with Commutative and Extensional Symbols Books View online Schließen > Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-796234 More information on the full text Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Dresden: Technische Universität Dresden, 2020 Published in: LTCS-Report ; 20,2
> Access https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa2-796234 More information on the full text Show more show less
Falke, Stephan [Author]; Kapur, Deepak [Author] Rewriting Induction + Linear Arithmetic = Decision Procedure Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/1000025940 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruher Institut für Technologie, 2012-01-01
Falke, Stephan [Author]; Kapur, Deepak [Author] Rewriting Induction + Linear Arithmetic = Decision Procedure Books View online Schließen > Access https://digbib.bibliothek.kit.edu/volltexte/1000025940 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: KIT, Fakultät für Informatik, 2012 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2012,2
Hung, Dang Van [Editor]; Kapur, Deepak [Editor] Theoretical Aspects of Computing – ICTAC 2017 : 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2017 Published in: Lecture notes in computer science ; 10580
Fränzle, Martin [Editor]; Kapur, Deepak [Editor]; Zhan, Naijun [Editor] Dependable Software Engineering: Theories, Tools, and Applications : Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Cham: Springer, 2016 Published in: Lecture notes in computer science ; 9984
Falke, Stephan [Author]; Kapur, Deepak [Author]; Sinz, Carsten [Author] Termination Analysis of C Programs Using Compiler Intermediate Languages Books View online Schließen > Access https://digbib.bibliothek.kit.edu/volltexte/1000021789 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruhe: KIT, Fakultät für Informatik, 2011 Published in: Karlsruher Institut für Technologie: Karlsruhe reports in informatics ; 2011,6
Carbonell, Jaime G. [Other]; Kapur, Deepak [Other]; Siekmann, Jörg [Other] Computer Mathematics : 8th Asian Symposium, ASCM 2007, Singapore, December 15-17, 2007. Revised and Invited Papers Books View online Schließen > Access Full access (via DOI) Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Berlin, Heidelberg: Springer Berlin Heidelberg, 2008 Published in: Lecture notes in computer science ; 5081
Ghilardi, Silvio [Author]; Gianola, Alessandro [Author]; Kapur, Deepak [Author] Computing Uniform Interpolants for EUF via (conditional) DAG-based Compact Representations Articles View online Schließen > Access http://ceur-ws.org/Vol-2710/#paper5 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. 2020 Published in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 67-81
Falke, Stephan [Author]; Kapur, Deepak [Author]; Sinz, Carsten [Author] Termination Analysis of C Programs Using Compiler Intermediate Languages Books View online Schließen > Links https://publikationen.bibliothek.kit.edu/1000021789 Show more show less Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Karlsruher Institut für Technologie, 2011-01-01
Falke, Stephan [Author]; Kapur, Deepak [Author]; Sinz, Carsten [Author] ; Stephan Falke and Deepak Kapur and Carsten Sinz [Contributor] Termination Analysis of C Programs Using Compiler Intermediate Languages Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011
Kapur, Deepak [Author]; Podelski, Andreas [Author]; Voronkov, Andrei [Author] ; Deepak Kapur and Andreas Podelski and Andrei Voronkov [Contributor] Deduction and Infinite-state Model Checking (Dagstuhl Seminar 03171) Articles View online Schließen > Access Close > Bookmarks You can manage bookmarks using lists, please log in to your user account for this. Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2003
> Media type Skip to next facet Articles (189) Wert ausschließen Books (15) Wert ausschließen Show more show less
> Location Skip to next facet Departmental Library DrePunct (2) Wert ausschließen Central Library (1) Wert ausschließen Show more show less
> Rights information Skip to next facet Attribution (CC BY) (2) Wert ausschließen Show more show less
> Access State Skip to next facet Open Access (58) Wert ausschließen Without Specification (144) Wert ausschließen Show more show less
> Language Skip to next facet English (127) Wert ausschließen Not determined (76) Wert ausschließen Persian (1) Wert ausschließen Show more show less
> Subject Skip to next facet Computer science (58) Wert ausschließen Mathmatics (40) Wert ausschließen Medicine (13) Wert ausschließen Technology (6) Wert ausschließen General and comparative linguistics and literary studies, indo-european, non-european languages and literatures (5) Wert ausschließen Biology (5) Wert ausschließen Economics (5) Wert ausschließen General (4) Wert ausschließen Physics (4) Wert ausschließen Chemistry and pharmacology (3) Wert ausschließen Geography (3) Wert ausschließen Geology and paleontology (1) Wert ausschließen Pedagogy (1) Wert ausschließen Sociology (1) Wert ausschließen Show more show less
> Creator Skip to next facet Kapur, Deepak (180) Wert ausschließen Narendran, Paliath (27) Wert ausschließen Zhang, Hantao (15) Wert ausschließen Falke, Stephan (12) Wert ausschließen Subramaniam, M. (9) Wert ausschließen Giesl, Jürgen (7) Wert ausschließen Sivakumar, G. (7) Wert ausschließen Kumar, Deepak (6) Wert ausschließen Musser, David R. (6) Wert ausschließen Zhan, Naijun (6) Wert ausschließen Chtcherba, Arthur D. (5) Wert ausschließen Erbatur, Serdar (5) Wert ausschließen Ghilardi, Silvio (5) Wert ausschließen Gianola, Alessandro (5) Wert ausschließen Baader, Franz (4) Wert ausschließen Kapur, P. K. (4) Wert ausschließen Sinz, Carsten (4) Wert ausschließen Kapur, Rashmi (3) Wert ausschließen Marshall, Andrew M. (3) Wert ausschließen Meadows, Catherine (3) Wert ausschließen Meseguer, José (3) Wert ausschließen Minimair, Manfred (3) Wert ausschließen Ringeissen, Christophe (3) Wert ausschließen Stefanovic, Darko (3) Wert ausschließen Varma, Roli (3) Wert ausschließen Weidenbach, Christoph (3) Wert ausschließen Zhao, Hengjun (3) Wert ausschließen Benanav, Dan (2) Wert ausschließen CADE 11 1992 Saratoga Springs, NY International Conference on Automated Deduction (2) Wert ausschließen Chen, Mingshuai (2) Wert ausschließen Deepak Kapur (2) Wert ausschließen Demri, Stéphane (2) Wert ausschließen Edward, Deepak P (2) Wert ausschließen Escobar, Santiago (2) Wert ausschließen Forrest, Stephanie (2) Wert ausschließen Fränzle, Martin (2) Wert ausschließen Furbach, Ulrich (2) Wert ausschließen Ganzinger, Harald (2) Wert ausschließen Gao, Xiao-Shan (2) Wert ausschließen Gupta, Viral (2) Wert ausschließen Hasegawa, Ryuzo (2) Wert ausschließen Herold, Alexander (2) Wert ausschließen Kansal, Yogita (2) Wert ausschließen Kapur, Deepak K. (2) Wert ausschließen Kumar, Pradeep (2) Wert ausschließen Liu, Zhiqiang (2) Wert ausschließen Marron, Mark (2) Wert ausschließen McAllester, David (2) Wert ausschließen Mohan, Chilukuri K. (2) Wert ausschließen Mundy, Joseph L. (2) Wert ausschließen Musser, David (2) Wert ausschließen Nguyen, ThanhVu (2) Wert ausschließen Rodríguez-Carbonell, Enric (2) Wert ausschließen Rosenkrantz, Daniel J. (2) Wert ausschließen Santiago, Sonia (2) Wert ausschließen Sasse, Ralf (2) Wert ausschließen Singhal, Nidhi (2) Wert ausschließen Srivas, Mandayam (2) Wert ausschließen Srivas, Mandayam K. (2) Wert ausschließen Stickel, Mark E. (2) Wert ausschließen Stillman, Jonathan (2) Wert ausschließen Subramaniam, Mahadevan (2) Wert ausschließen Sun, Yao (2) Wert ausschließen Tepp, Michael (2) Wert ausschließen Ulrich Furbach and Harald Ganzinger and Ryuzo Hasegawa and Deepak Kapur (2) Wert ausschließen Van Hentenryck, Pascal (2) Wert ausschließen Voronkov, Andrei (2) Wert ausschließen Wang, Dingkang (2) Wert ausschließen Wang, Lida (2) Wert ausschließen Weimer, Westley (2) Wert ausschließen Zhang, Zhihai (2) Wert ausschließen A Yacoub, Mina (1) Wert ausschließen A. Adam, Mohammed (1) Wert ausschließen A. Nassar, Mahmoud (1) Wert ausschließen A.Nemer, Ayoob (1) Wert ausschließen ABRAHAM, JERROLD L. (1) Wert ausschließen ASCM 8 2007 Singapur (1) Wert ausschließen Aahlin, Eirik Kjus (1) Wert ausschließen Ab Rahim, Mohd Fadliyazid (1) Wert ausschließen Abad Gurumeta, Alfredo (1) Wert ausschließen Abad-Motos, Ane (1) Wert ausschließen Abang Jamari, Dyg Zahratul Hamrak (1) Wert ausschließen Abantanga, Francis (1) Wert ausschließen Abarca, Sol (1) Wert ausschließen Abazid, Eias (1) Wert ausschließen Abbas, Abbas (1) Wert ausschließen Abbas, Khalid (1) Wert ausschließen Abbas, Mohammad Monir (1) Wert ausschließen Abbasy, Jibran (1) Wert ausschließen Abbosh, Ali (1) Wert ausschließen Abd Karim, Muhammad Fairuz Shah (1) Wert ausschließen Abd Wahab, Haidar Hadri (1) Wert ausschließen Abd, Barook (1) Wert ausschließen AbdAllah, Mostafa Salim Mohamed (1) Wert ausschließen Abdalei, Abdulwahab (1) Wert ausschließen Abdalla Ahmed Elkamel, Ahmed (1) Wert ausschließen Abdallah, Aya (1) Wert ausschließen Abdel Malik, Abu Baker (1) Wert ausschließen Abdelhady Mousa, Heba (1) Wert ausschließen Abdelhady, Samar (1) Wert ausschließen Show more show less
> Collection Skip to next facet Springer Berlin Heidelberg (CrossRef) (67) Wert ausschließen Springer Science and Business Media LLC (CrossRef) (33) Wert ausschließen Elsevier BV (CrossRef) (32) Wert ausschließen Verbunddaten SWB (14) Wert ausschließen BASE - Bielefeld Academic Search Engine (10) Wert ausschließen Association for Computing Machinery (ACM) (CrossRef) (9) Wert ausschließen DROPS - Dagstuhl Research Online Publication Server (Schloss Dagstuhl - Leibniz Center for Informatics ) (7) Wert ausschließen Springer International Publishing (CrossRef) (7) Wert ausschließen Lizenzfreie Online-Ressourcen (6) Wert ausschließen Wiley (CrossRef) (5) Wert ausschließen Ovid Technologies (Wolters Kluwer Health) (CrossRef) (3) Wert ausschließen SAGE Publications (CrossRef) (3) Wert ausschließen Centre pour la Communication Scientifique Directe (CCSD) (CrossRef) (2) Wert ausschließen Emerald (CrossRef) (2) Wert ausschließen Informa UK Limited (CrossRef) (2) Wert ausschließen KITopen (Karlsruhe Institute of Technologie) (2) Wert ausschließen Society for Industrial & Applied Mathematics (SIAM) (CrossRef) (2) Wert ausschließen American Association for Cancer Research (AACR) (CrossRef) (1) Wert ausschließen American Physical Society (APS) (CrossRef) (1) Wert ausschließen American Society of Hematology (CrossRef) (1) Wert ausschließen DOAJ Directory of Open Access Journals (1) Wert ausschließen Foundation of Computer Science (CrossRef) (1) Wert ausschließen Hindawi Limited (CrossRef) (1) Wert ausschließen JSTOR Arts & Sciences I Archive (1) Wert ausschließen JSTOR Mathematics & Statistics (1) Wert ausschließen Medknow (CrossRef) (1) Wert ausschließen Open Publishing Association (CrossRef) (1) Wert ausschließen Oxford University Press (OUP) (CrossRef) (1) Wert ausschließen Qucosa (1) Wert ausschließen Qucosa Technische Universität Dresden (1) Wert ausschließen Scientific publications of the Saarland University (UdS) (1) Wert ausschließen Springer New York (CrossRef) (1) Wert ausschließen World Scientific Pub Co Pte Lt (CrossRef) (1) Wert ausschließen Show more show less