https://koha.iiti.ac.in/cgi-bin/koha/opac-search.pl?q=ccl=au%3A%22Renate%20A.%20Schmidt%22&sort_by=pubdate_dsc&format=rss 4 0 50 ISBN:9783642408854 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=41742 ]]> By Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt.
Springer 2013 9783642408854

]]> Place hold on Frontiers of Combining Systems

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=41742 ISBN:9783319669021 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=44018 ]]> By Renate A. Schmidt, Cl�udia Nalon.
Springer 2017 9783319669021

]]> Place hold on Automated Reasoning with Analytic Tableaux and Related Methods

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=44018 ISBN:978-3-031-63501-4 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56581 ]]> By Christoph Benzm�ller.
Heidelberg, Germany Springer Nature 2024 978-3-031-63501-4

]]> Place hold on Automated Reasoning

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56581 ISBN:978-3-031-63498-7 https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56580 ]]> By Christoph Benzm�ller.
Heidelberg, Germany Springer Nature 2024 978-3-031-63498-7

]]> Place hold on Automated Reasoning

]]> https://koha.iiti.ac.in/cgi-bin/koha/opac-detail.pl?biblionumber=56580