Computer Support for the Development and Investigation of Logics |
| |
Authors: | Ohlbach Hans Jurgen |
| |
Institution: | Max-Planck-Institut für Informatik, Im Stadtwald D-66123 Saarbrücken, Germany E-mail: ohlbach{at}mpi-sb.mpg.de |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 Oxford 等数据库收录! |
|