Narrow your search

Library

KU Leuven (15)

UCLouvain (4)

ULiège (4)

UGent (3)

UNamur (3)

AP (2)

KDG (2)

Odisee (2)

Thomas More Kempen (2)

Thomas More Mechelen (2)

More...

Resource type

book (18)

digital (2)


Language

English (20)


Year
From To Submit

2023 (2)

2017 (2)

2014 (1)

2011 (1)

2002 (1)

More...
Listing 1 - 10 of 20 << page
of 2
>>
Sort by

Book
Computational logic and human thinking : How to be artificially intelligent.
Author:
ISBN: 9780521123365 0521123364 9780521194822 9780511984747 9781139101417 1139101412 9781139099400 113909940X 051198474X 9781139103213 1139103210 9781283306980 1283306980 9781139100755 1139100750 0521194822 1139097393 9781139097390 1107214459 9781107214453 9786613306982 6613306983 1139098721 9781139098724 Year: 2011 Publisher: Cambridge Cambridge University Press

Loading...
Export citation

Choose an application

Bookmark

Abstract

"The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English"-- "The practical benefits of computational logic need not be limited to mathematics and computing. As this book shows, ordinary people in their everyday lives can profit from the recent advances that have been developed for artificial intelligence. The book draws upon related developments in various fields from philosophy to psychology and law. It pays special attention to the integration of logic with decision theory, and the use of logic to improve the clarity and coherence of communication in natural languages such as English. This book is essential reading for teachers and researchers who may be out of touch with the latest developments in computational logic. It will also be useful in any undergraduate course that teaches practical thinking, problem solving or communication skills. Its informal presentation makes the book accessible to readers from any background, but optional, more formal, chapters are also included for those who are more technically oriented"--


Book
The CLI Book : Writing Successful Command Line Interfaces with Node.js
Author:
ISBN: 1484231775 1484231767 Year: 2017 Publisher: Berkeley, CA : Apress : Imprint: Apress,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Learn everything that makes command line clients such as Git and npm so successful, and how to compose the best on your own. This book is your concise step-by-step guide to writing command line clients with Node.js. You'll start by discovering what is needed for a successful command line client and develop a solid foundation for practical skill. Next you will build an application based on learned principles in Node.js. The sometimes-puzzling world of streaming is fully explained with practical examples, as well as unit testing and integration testing. Lastly you'll explore a full range of tips and tricks designed to make the daily life of a software maintainer easier. The Node.js ecosystem provides support for writing command line clients and has a thriving, very active community. With this book as your guide, you'll become a successful creator of your own command line clients. Make an impact in the areas you really care about using The CLI Book.


Digital
The CLI Book : Writing Successful Command Line Interfaces with Node.js
Author:
ISBN: 9781484231777 Year: 2017 Publisher: Berkeley, CA Apress

Loading...
Export citation

Choose an application

Bookmark

Abstract

Learn everything that makes command line clients such as Git and npm so successful, and how to compose the best on your own. This book is your concise step-by-step guide to writing command line clients with Node.js. You'll start by discovering what is needed for a successful command line client and develop a solid foundation for practical skill. Next you will build an application based on learned principles in Node.js. The sometimes-puzzling world of streaming is fully explained with practical examples, as well as unit testing and integration testing. Lastly you'll explore a full range of tips and tricks designed to make the daily life of a software maintainer easier. The Node.js ecosystem provides support for writing command line clients and has a thriving, very active community. With this book as your guide, you'll become a successful creator of your own command line clients. Make an impact in the areas you really care about using The CLI Book.

Logic for problem solving
Author:
ISBN: 0444003657 0444003681 9780444003652 9780444003683 Year: 1979 Volume: 7 Publisher: New York (N.Y.): North-Holland

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Electronic digital computers --- -681.3*D32 --- 681.3*I23 --- 681.3*I24 --- 681.3*I24 Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence) --- Knowledge representation formalisms and methods: frames and scripts predicate logic relation systems representation languages procedural and rule-based representations semantic networks (Artificial intelligence) --- 681.3*I23 Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- Deduction and theorem proving: answer/reason extraction reasoning resolution metatheory mathematical induction logic programming (Artificial intelligence) --- 681.3*D32 language classifications: applicative languages data-flow languages design languages extensible languages macro and assembly languages nonprocedural languages specialized application and very high-level languages (Programminglanguages) --- language classifications: applicative languages data-flow languages design languages extensible languages macro and assembly languages nonprocedural languages specialized application and very high-level languages (Programminglanguages) --- Automatic digital computers --- Computers, Electronic digital --- Digital computers, Electronic --- Programming --- Wetenschappelijk onderzoek: methodologie; onderzoeksmethoden --- Applications of mathematical logic --- Applications of mathematical logic. --- 167 Wetenschappelijk onderzoek: methodologie; onderzoeksmethoden --- Computer programming --- Logic, Symbolic and mathematical --- Problem solving --- 164 --- 519.7 --- 681.3 --- 167 --- 681.3*I2 --- 681.3*I2 Artificial intelligence. AI --- Artificial intelligence. AI --- Algebra of logic --- Logic, Universal --- Mathematical logic --- Symbolic and mathematical logic --- Symbolic logic --- Mathematics --- Algebra, Abstract --- Metamathematics --- Set theory --- Syllogism --- Computers --- Electronic computer programming --- Electronic data processing --- Programming (Electronic computers) --- Coding theory --- Methodology --- Psychology --- Decision making --- Executive functions (Neuropsychology) --- Computer science --- Artificial intelligence. Robotics. Simulation. Graphics --- Problem Solving --- Logic, symbolic and mathematical --- Problem solving. --- Computer programming. --- Logic, Symbolic and mathematical. --- Résolution de problème --- Informatique --- Artificial intelligence. --- Computer science. --- Résolution de problème --- Résolution de problemes


Book
Logic for problem solving
Author:
Year: 1983 Publisher: New York: North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Logic for problem solving
Author:
Year: 1986 Publisher: New York (N.Y.): North-Holland,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Logic for problem solving
Author:
Year: 1974 Publisher: Amsterdam s.n.

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Logic as a computer language
Author:
Year: 1980 Publisher: London University of London. Department of computing

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Prolog as a logic programming language
Author:
Year: 1981 Publisher: London University of London. Department of computing

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords


Book
Logic as a computer language for children
Author:
Year: 1982 Publisher: London University of London. Department of computing

Loading...
Export citation

Choose an application

Bookmark

Abstract

Keywords

Listing 1 - 10 of 20 << page
of 2
>>
Sort by