Logic and Prolog Programming / Saroj Kaushik
Material type:
- 9788122414097
- 23rd 005.13 KAU
Item type | Current library | Call number | Status | Notes | Date due | Barcode | |
---|---|---|---|---|---|---|---|
Reference Book | VIT-AP Fiction | 005.13 KAU (Browse shelf(Opens below)) | Not For Loan | CSE | 022573 | ||
Text Book | VIT-AP Fiction | 005.13 KAU (Browse shelf(Opens below)) | Available | CSE | 022574 | ||
Text Book | VIT-AP General Stacks | 005.13 KAU (Browse shelf(Opens below)) | Available | CSE | 022691 | ||
Text Book | VIT-AP General Stacks | 005.13 KAU (Browse shelf(Opens below)) | Available | CSE | 022692 | ||
Text Book | VIT-AP General Stacks | 005.13 KAU (Browse shelf(Opens below)) | Available | CSE | 022693 |
Browsing School of Computer Science Section shelves, Shelving location: General Stacks Close shelf browser (Hides shelf browser)
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
![]() |
||
005.13 Programming In BASIC | 005.13 KAU Logic and Prolog Programming / | 005.13 KAU Logic and Prolog Programming / | 005.13 KAU Logic and Prolog Programming / | 005.13 MOD Solidity Programming Essentials : A Beginner's Guide to Build Smart Contracts for Ethereum and Blockchain / | 005.131 Automata Theory and Formal Languages | 005.133 Advanced Java Programming / |
This book presents a systematic exposition of Formal Logic, evolution of Logic Programming and the features of Prolog programming language. It covers both Propositional and Predicate logic and explains various approaches towards validity, inconsistency of logic formulae and problem solving.
it includes preface, acknowledgements, Contents, References [301-302], Appendix [303-3190 and index pages.
There are no comments on this title.