Inductive logic programming :

Na minha lista:

Detalhes bibliográficos
Principais autores:	Bergadano, Francesco, Gunetti, Daniele
Formato:	Livro
Publicado em:
Assuntos:	Programação lógica (Computação)
Endereço do item:	https://app.bczm.ufrn.br/home/#/item/272445
Tags:	Adicionar Tag Sem tags, seja o primeiro a adicionar uma tag!

Registros relacionados

Inductive Logic Programming
por: Zelezný, Filip, et al.
Publicado em: (2022)

Inductive Logic Programming
por: Blockeel, Hendrik, et al.
Publicado em: (2022)

Logic, programming, and prolog /
por: Nilsson, Ulf,, et al.
Publicado em: (2022)

Programming with higher-order logic /
por: Miller, Dale, et al.
Publicado em: (2022)

Advances in modal logic /
por: Kracht, Marcus.
Publicado em: (2022)

Probabilistic Inductive Logic Programming Theory and Applications /
por: Raedt, Luc, et al.
Publicado em: (2022)

Logic programming with Prolog /
por: Bramer, M. A.
Publicado em: (2022)

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /
por: Garcia de la Banda, Maria., et al.
Publicado em: (2022)

Introduction to logic programming /
por: Hogger, Christopher John.
Publicado em: (2022)

The logical basis for computer programming /
por: Manna, Zohar., et al.
Publicado em: (2022)

Logic and its apllications /
por: Burke, Edmund,, et al.
Publicado em: (2022)

Logic programming : expanding the horizons /
por: Dodd, A., et al.
Publicado em: (2023)

Logic, induction and sets /
por: Forster, Thomas.
Publicado em: (2022)

The language of first-order logic: including the macintosh program tarski's 4.0/
por: Barwise, Jon,
Publicado em: (2022)

Logic, language, and computation : 6th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2005, Batumi, Georgia, September 12-16, 2005 : revised selected papers /
por: Cate, Balder David ten., et al.
Publicado em: (2022)

The rationality of induction /
por: Stove, D. C.
Publicado em: (2022)

Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings /
por: Schneider, Klaus., et al.
Publicado em: (2022)

Logic programming and nonmonotonic reasoning : 9th International Conference, LPNMR 2007, Tempe, AZ, USA, May 15-17, 2007 ; proceedings /
por: LPNMR 2007 (2007 : Tempe, Ariz.)., et al.
Publicado em: (2022)

Recent Advances in Constraints 12th Annual ERCIM International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2007 Rocquencourt, France, June 7-8, 2007 Revised Selected Papers /
por: Fages, François., et al.
Publicado em: (2022)

Programming with constraints : an introduction /
por: Marriott, Kim., et al.
Publicado em: (2022)

Logic for computer scientists /
por: Schoning, Uwe,
Publicado em: (2022)

Logic in computer science : modelling and reasoning about systems /
por: Huth, Michael,, et al.
Publicado em: (2022)

Interactive theorem proving and program development : Coq'Art : the calculus of inductive constructions /
por: Bertot, Yves, et al.
Publicado em: (2022)

Practical DWR 2 Projects
por: Zammetti, Frank W., et al.
Publicado em: (2022)

Logic for applications /
por: Nerode, Anil., et al.
Publicado em: (2022)

12th Workshop on Logic, Language, Information and Computation /
por: Workshop on Logic, Language, Information and Computation : (12. : 2005 : Florianópolis, SC), et al.
Publicado em: (2022)

Principles of parallel programming /
por: Lin, Yun Calvin., et al.
Publicado em: (2022)

Propositional attitudes : the role of content in logic, language, and mind /
por: Anderson, C. Anthony., et al.
Publicado em: (2022)

The deductive foundations of computer programming /
por: Manna, Zohar., et al.
Publicado em: (2022)

An introduction to parallel programming /
por: Pacheco, Peter S.
Publicado em: (2022)

The Haskell road to logic : maths and programming/
por: Doets, Kees., et al.
Publicado em: (2022)

System software : an introduction to systems programming /
por: Beck, Leland L.
Publicado em: (2022)

Cuda by example : an introduction to general-purpose GPU programming /
por: Sanders, Jason., et al.
Publicado em: (2022)

How to sell a contradiction : the logic and metaphysics of inconsistency /
por: Berto, Francesco.
Publicado em: (2022)

Programming in Haskell /
por: Hutton, Graham,
Publicado em: (2022)

Bridges from classical nonmonotonic logic/
por: Makinson, David,
Publicado em: (2022)

Haskell : the craft of functional programming /
por: Thompson, Simon.
Publicado em: (2022)

lLógica de programação /
por: Xavier, Gley Fabiano Cardoso
Publicado em: (2023)

Functional and Logic Programming
por: Garrigue, Jacques, et al.
Publicado em: (2022)

Modal logic and process algebra : a bisimulation perspective /
por: Ponse, A., et al.
Publicado em: (2022)