Wellcome

Your search returned 3 results.

Sort
Results
Logic and discrete dathematics : a computer science perspective Winfried Karl Grassmann and Jean-Paul Tremblay

by Grassmann, Winfried Karl | Tremblay, Jean-Paul.

Material type: Text Text; Format: print ; Literary form: Not fiction Language: English Publication details: New Jersey : Prentice Hall International, Inc, 1996Availability: Items available for loan: Mysore University Main Library (1) Call number: 511.3 GRA T .
Introduction to mathematics of satisfiability [electronic resource] / Victor W. Marek.

by Marek, V. W. (V. Wiktor), 1943-.

Series: Chapman & Hall/CRC studies in informatics seriesMaterial type: Text Text; Format: electronic available online remote; Literary form: Not fiction Publication details: Boca Raton : CRC Press, c2009Online access: Distributed by publisher. Purchase or institutional license may be required for access. Availability: Items available for reference: Mysore University Main Library Not for loan (1) .
An algebraic introduction to mathematical logic Donald W. Barnes

by Barnes, Donald W | Mack, John M.

Material type: Text Text Publication details: New York : Springer-Verlag, 1975Availability: Items available for loan: University Graduate Library (2) Call number: 512 BAR. M, ...
Pages

No. of hits (from 9th Mar 12) :

Powered by Koha