A reduction method for theorem proving based on the partial-instantiation technique
Year of publication: |
1998
|
---|---|
Authors: | Yamamoto, Masahito ; Ohuchi, Azuma |
Published in: |
Decision support systems : DSS ; the international journal. - Amsterdam [u.a.] : Elsevier, ISSN 0167-9236, ZDB-ID 516545. - Vol. 23.1998, 2, p. 189
|
Saved in:
Saved in favorites
Similar items by person
-
Operations research, management science at work
Kozan, Erhan, (2002)
-
Effects of competitive metaplayers in the distributed social dilemma
Yamashita, Tomohisa, (2001)
-
Kaji, Taichi, (1999)
- More ...