Your search returned 3 results.

Sort
Results
1.
Logic in computer science/ editor, Zoran Ognjanovic. by
  • Ognjanovic, Zoran
Series: Zbornik radova (Srpska akademija nauka) ; knj. 12 (20).
Publication details: Beograd: Matematicki Institut SANU, 2009
Availability: Items available for loan: Castorina (1)Call number: 005.131 L832 2009 IMPA.

2.
Mathematical aspects of logic programming semantics/ Pascal Hitzler, Anthony Seda. by
  • Hitzler, Pascal
  • Seda, Anthony
Series: Chapman & Hall/CRC studies in informatics series
Publication details: Boca Raton: CRC Press, c2011
Availability: Items available for loan: Castorina (1)Call number: 005.133 H676m 2011 IMPA.

3.
Logic in computer science: modelling and reasoning about systems/ Michael Huth, Mark Ryan. by
  • Huth, Michael, 1962-
  • Ryan, Mark, 1962-
Edition: 2nd ed.
Publication details: Cambridge [U.K.]; New York: Cambridge University Press, 2004
Availability: Items available for loan: Castorina (1)Call number: 005.131 H979l 2004 IMPA.

Pages
© 2023 IMPA Library | Customized & Maintained by Sérgio Pilotto


Powered by Koha