المؤلفون: W. Ahrendt, P. Baumgartner, H. De Nivelle, Johan Bos, Simon Colton, Christian Fermüller, Bernhard Gramlich, Bill Mccune, Michael Norrish, Renate Schmidt, Carsten Schürmann, John Slaney, Graham Steel, Cesare Tinelli, Calogero Zarba, John Charnley, Jian Zhang

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.easychair.org/FLoC-06/DISPROVING-preproceedings.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.3416; http://www.easychair.org/FLoC-06/DISPROVING-preproceedings.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.98.3416
http://www.easychair.org/FLoC-06/DISPROVING-preproceedings.pdf

المؤلفون: S. Demri, H. de Nivelle

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-2003-4.rr.ps.

مصطلحات موضوعية: modal and temporal logics, intuitionistic logic, relational translation

وصف الملف: application/postscript

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.7833; http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-2003-4.rr.ps

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.7833
http://www.lsv.ens-cachan.fr/Publis/RAPPORTS_LSV/rr-lsv-2003-4.rr.ps

المؤلفون: C. Areces, E. Franconi, R. Goré, M. de Rijke, H. Schlingloff, I. Horrocks, U. Sattler, S. Tobies, U. Hustadt, H. de Nivelle, R.A. Schmidt, Çî Å, P. Patel-Schneider, R. Sebastiani, N. Alechina, N. Immerman, P. Blackburn

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www3.oup.co.uk/igpl/Volume_08/Issue_03/pdf/V83.pdf.

مصطلحات موضوعية: Annexe, Fitznells Manor, Chessington Road

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3279; http://www3.oup.co.uk/igpl/Volume_08/Issue_03/pdf/V83.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.37.3279
http://www3.oup.co.uk/igpl/Volume_08/Issue_03/pdf/V83.pdf

المؤلفون: Copyright Stichting, Mathematisch Centrum, H. De Nivelle

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://ftp.cwi.nl/CWIreports/INS/INS-R9804.pdf.

وصف الملف: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.8404; http://ftp.cwi.nl/CWIreports/INS/INS-R9804.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.78.8404
http://ftp.cwi.nl/CWIreports/INS/INS-R9804.pdf

المؤلفون: Ullrich Hustadt, Renate A. Schmidt, H. de Nivelle

المصدر: Logic Journal of IGPL. 8:265-292

مصطلحات موضوعية: Modal, Logic, Computer science, Normal modal logic, Accessibility relation, Multimodal logic, Modal μ-calculus, Dynamic logic (modal logic), Intermediate logic, T-norm fuzzy logics, Algorithm

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::3e1dacc2d68f2449d5544bfca7dbdc73
https://doi.org/10.1093/jigpal/8.3.265

المؤلفون: Ruzica Piskac, H. de Nivelle

المصدر: SEFM

مصطلحات موضوعية: Theoretical computer science, Computer science, Programming language, Structure (category theory), computer.software_genre, Data structure, Moment (mathematics), Automated theorem proving, Formal specification, Priority queue, Implementation, computer, Leda, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::60f157f200d1d0288a3b4fa96e9402d6
https://doi.org/10.1109/sefm.2005.54

المؤلفون: Harald Ganzinger, H. de Nivelle

المصدر: LICS

مصطلحات موضوعية: Class (set theory), Superposition principle, Computational complexity theory, Fragment (logic), Decision theory, Redundancy (engineering), Calculus, Resolution (logic), Time complexity, Algorithm, Mathematics

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::9f416cb3a4477fc68b15d35da7de6813
https://doi.org/10.1109/lics.1999.782624

المؤلفون: W. Ahrendt, P. Baumgartner, H. de Nivelle, Baumgartner, Peter, Schmidt, Renate A.

المصدر: Proceedings of DISPROVING-06: Non-Theorems, Non-Validity, Non-Provability

مصطلحات الفهرس: Conference paper

URL: http://hdl.handle.net/1885/22635
International Joint Conference on Automated Reasoning (IJCAR 2006)

المؤلفون: M. Ferrari, C. Fiorentini

المساهمون: H. de Nivelle, M. Ferrari, C. Fiorentini

مصطلحات موضوعية: Settore INF/01 - Informatica, Settore MAT/01 - Logica Matematica

Relation: info:eu-repo/semantics/altIdentifier/isbn/9783319243115; info:eu-repo/semantics/altIdentifier/wos/WOS:000366125200020; ispartofbook:Automated Reasoning with Analytic Tableaux and Related Methods; Tableaux 2015 : Automated Reasoning with Analytic Tableaux and Related Methods; volume:9323; firstpage:237; lastpage:252; numberofpages:16; serie:LECTURE NOTES IN ARTIFICIAL INTELLIGENCE; alleditors:H. de Nivelle; http://hdl.handle.net/2434/315082; info:eu-repo/semantics/altIdentifier/scopus/2-s2.0-84950137008

الاتاحة: http://hdl.handle.net/2434/315082
https://doi.org/10.1007/978-3-319-24312-2_17

المؤلفون: Baumgartner, Peter, Schmidt, Renate A.

المساهمون: W. Ahrendt, P. Baumgartner, H. de Nivelle

المصدر: Proceedings of DISPROVING-06: Non-Theorems, Non-Validity, Non-Provability ; http://www.easychair.org/FLoC-06/DISPROVING.html

جغرافية الموضوع: Seattle USA

Relation: International Joint Conference on Automated Reasoning (IJCAR 2006); http://hdl.handle.net/1885/22635; https://openresearch-repository.anu.edu.au/bitstream/1885/22635/11/LNAI%2b4130_book_info.pdf.jpg; https://openresearch-repository.anu.edu.au/bitstream/1885/22635/13/LNAI_contents_baumgartner.pdf.jpg; https://openresearch-repository.anu.edu.au/bitstream/1885/22635/15/LNAI%2b4130_baumgartner.pdf.jpg; https://openresearch-repository.anu.edu.au/bitstream/1885/22635/17/Affiliation%2bPB%2bANU%2b.pdf.jpg; https://openresearch-repository.anu.edu.au/bitstream/1885/22635/19/01_Baumgartner_Blocking_and_other_2006.pdf.jpg; https://openresearch-repository.anu.edu.au/bitstream/1885/22635/21/02_Baumgartner_Blocking_and_other_2006.pdf.jpg; https://openresearch-repository.anu.edu.au/bitstream/1885/22635/23/03_Baumgartner_Blocking_and_other_2006.pdf.jpg; https://openresearch-repository.anu.edu.au/bitstream/1885/22635/25/04_Baumgartner_Blocking_and_other_2006.pdf.jpg

الاتاحة: http://hdl.handle.net/1885/22635
https://openresearch-repository.anu.edu.au/bitstream/1885/22635/11/LNAI%2b4130_book_info.pdf.jpg
https://openresearch-repository.anu.edu.au/bitstream/1885/22635/13/LNAI_contents_baumgartner.pdf.jpg
https://openresearch-repository.anu.edu.au/bitstream/1885/22635/15/LNAI%2b4130_baumgartner.pdf.jpg
https://openresearch-repository.anu.edu.au/bitstream/1885/22635/17/Affiliation%2bPB%2bANU%2b.pdf.jpg
https://openresearch-repository.anu.edu.au/bitstream/1885/22635/19/01_Baumgartner_Blocking_and_other_2006.pdf.jpg
https://openresearch-repository.anu.edu.au/bitstream/1885/22635/21/02_Baumgartner_Blocking_and_other_2006.pdf.jpg
https://openresearch-repository.anu.edu.au/bitstream/1885/22635/23/03_Baumgartner_Blocking_and_other_2006.pdf.jpg
https://openresearch-repository.anu.edu.au/bitstream/1885/22635/25/04_Baumgartner_Blocking_and_other_2006.pdf.jpg