Résultat(s) 1 - 10 résultats de 44 pour la requête '', Temps de recherche: 0,01s Affiner les résultats
  1. 1

    Foundations of probabilistic logic programming languages, semantics, inference and learning par Riguzzi, Fabrizio

    Publié 2023
    Livre

    Foundations of probabilistic logic programming languages, semantics, inference and learning
  2. 2

    Quantitative logic and soft computing 2016 proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 Octobe...

    Publié 2017
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Quantitative logic and soft computing 2016 proceedings of the 4th International Conference on Quantitative Logic and Soft Computing (QLSC2016) held at Hangzhou, China, 14-17 October, 2016
  3. 3

    Discrete structures, logic, and computability par Hein, James L.

    Publié 2017
    Livre

    Discrete structures, logic, and computability
  4. 4

    Reversible logic synthesis methodologies with application to quantum computing par Ridha Taha, Saleem Mohammed

    Publié 2016
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Reversible logic synthesis methodologies with application to quantum computing
  5. 5

    Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning par Abe, Jair Minoro, Akama, Seiki, Nakamatsu, Kazumi

    Publié 2015
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Introduction to annotated logics foundations for paracomplete and paraconsistent reasoning
  6. 6

    Paraconsistent intelligent-based systems new trends in the applications of paraconsistency

    Publié 2015
    Available for University of the Philippines System via SpringerLink. Click here to access
    Also available remotely for University of the Philippines System via SpringerLink. Click here to access thru EZproxy
    Electronic Resource

    Paraconsistent intelligent-based systems new trends in the applications of paraconsistency
  7. 7

    Programming logic and design introductory version par Farrell, Joyce

    Publié 2015
    Livre

    Programming logic and design introductory version
  8. 8

    An object-oriented approach to programming logic and design par Farrell, Joyce

    Publié 2013
    Livre

    An object-oriented approach to programming logic and design
  9. 9

    Inductive logic programming 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010. revised papers

    Publié 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Inductive logic programming 20th international conference, ILP 2010, Florence, Italy, June 27-30, 2010. revised papers
  10. 10

    Logic programming and nonmonotonic reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

    Publié 2011
    Available for University of the Philippines Diliman via SpringerLink. Click here to access
    Electronic Resource

    Logic programming and nonmonotonic reasoning 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings

Outils de recherche: