Birkbeck, University of London logo
BIROn - Birkbeck Institutional Research Online

    Browse by Person

    Up a level
    Export as [feed] Atom [feed] RSS
    Group by: Item Type | Date | Journal or Publication Title | No Grouping
    Jump to: 1987
    Number of items: 1.

    1987

    Zakharyaschev, Michael (1987) Theorem proving in intermediate and modal logics. In: Budach, L. and Bakharajev, R.G. and Lipanov, O.B. (eds.) FCT 87: Fundamentals of Computation Theory. Lecture Notes in Computer Science 278. Springer, pp. 492-496. ISBN 9783540187400.

    This list was generated on Tue Nov 26 05:42:10 2024 GMT.