Frontiers of combining systems: : first international workshop, Munich, March 1996/
Other Authors: | Baader, Frans, Schulz, Klaus U. |
---|---|
Format: | Book |
Published: |
Dordrecht :
Kluwer Academic Publishers,
c1996
|
Series: | Applied logic series
; v. 3 |
Subjects: |
Similar Items
-
Norms, logics and information systems : new studies in deontic logic and computer science /
by: McNamara, P.
Published: (1999) -
Combinators λ-terms and proof theory/
by: Stenlund, Soren
Published: (1972) -
Computer science logic : 5th Workshop, CSLʹ91 Berne, Switzerland, October 1991, Proceedings /
Published: (1992) -
Handbook of logic in computer science /
Published: (1992) -
Background : mathematical structures /
Published: (1992)