Advertisement

Tutorial on computing models of propositional logics

  • Paul Pritchard
  • John Slaney
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 449)

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Paul Pritchard
    • 1
  • John Slaney
    • 2
  1. 1.University of QueenslandBrisbaneAustralia
  2. 2.Australian National UniversityCanberraAustralia

Personalised recommendations