Jump to main content

yr 〜
yr

Search results 3

On sets and graphs : perspectives on logic and combinatorics

On sets and graphs : perspectives on logic and combinatorics
Paper図書
Eugenio G. Omodeo, Alberto Policriti, Alexandru I. TomescuSpringerc2017
Other Libraries in Japan
  • Author HeadingOmodeo, Eugenio G. Policriti, Alberto Tomescu, Alexandru I.

Martin Davis on computability, computational logic, and mathematical foundations hbk.

Martin Davis on computability, computational logic, and mathematical foundations hbk.
Paper図書
Eugenio G. Omodeo, Alberto Policriti editorsSpringerc2016
Other Libraries in Japan
  • Author HeadingOmodeo, Eugenio Policriti, Alberto

Set theory for computing : from decision procedures to declarative programming with sets

Set theory for computing : from decision procedures to declarative programming with sets
Paper図書
Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. SchwartzSpringer Verlagc2001
Other Libraries in Japan
  • Author HeadingCantone, Domenico Omodeo, Eugenio Policriti, Alberto Schwartz, Jacob T.

Reached to the end of result.

RSS