Temporal logic : from ancient ideas to artificial intelligence
by Peter Øhrstrøm and Per F.V. Hasle
Bok Engelsk 1995
Utgitt | Dordrecht : Kluwer Academic Publishers , c1995
|
---|---|
Omfang | VIII, 413 s. : ill.
|
Emner | |
ISBN | 0792335864
|
Utgitt | Dordrecht : Kluwer Academic Publishers , c1995
|
---|---|
Omfang | VIII, 413 s. : ill.
|
Emner | |
ISBN | 0792335864
|