Cargando…

Logic programming : theory, practices and challenges /

Detalles Bibliográficos
Clasificación:Libro Electrónico
Otros Autores: Lambert, Marcus J. (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: New York : Nova Science Publishers, Inc., [2014]
Colección:Computer science, technology and applications.
Temas:
Acceso en línea:Texto completo

MARC

LEADER 00000cam a2200000Ii 4500
001 EBSCO_ocn880376035
003 OCoLC
005 20231017213018.0
006 m o d
007 cr cnu---unuuu
008 140522t20142014nyu ob 001 0 eng d
040 |a N$T  |b eng  |e rda  |e pn  |c N$T  |d YDXCP  |d OCLCF  |d EBLCP  |d DEBSZ  |d OCLCQ  |d OCLCA  |d AGLDB  |d OCLCQ  |d VTS  |d OCLCQ  |d AU@  |d OCLCQ  |d STF  |d OCLCQ  |d M8D  |d OCLCQ  |d OCLCO  |d OCLCQ 
020 |a 9781631178542  |q (electronic bk.) 
020 |a 1631178547  |q (electronic bk.) 
020 |z 9781631178535 
020 |z 1631178539 
029 1 |a AU@  |b 000054658892 
029 1 |a CHNEW  |b 000891728 
029 1 |a DEBBG  |b BV043036890 
029 1 |a DEBBG  |b BV043623103 
029 1 |a DEBSZ  |b 429951795 
029 1 |a DEBSZ  |b 449553620 
035 |a (OCoLC)880376035 
050 4 |a QA76.63  |b .L627 2014eb 
072 7 |a COM  |x 051390  |2 bisacsh 
072 7 |a COM  |x 051440  |2 bisacsh 
072 7 |a COM  |x 051230  |2 bisacsh 
082 0 4 |a 005.1/15  |2 23 
049 |a UAMI 
130 0 |a Logic programming (Nova Science Publishers) 
245 1 0 |a Logic programming :  |b theory, practices and challenges /  |c Marcus J. Lambert, editor. 
264 1 |a New York :  |b Nova Science Publishers, Inc.,  |c [2014] 
264 4 |c Ã2014 
300 |a 1 online resource. 
336 |a text  |b txt  |2 rdacontent 
337 |a computer  |b c  |2 rdamedia 
338 |a online resource  |b cr  |2 rdacarrier 
490 1 |a Computer science, technology and applications 
504 |a Includes bibliographical references and index. 
588 0 |a Print version record. 
505 0 |a LOGIC PROGRAMMING: THEORY, PRACTICES AND CHALLENGES; LIBRARY OF CONGRESS CATALOGING-IN-PUBLICATION DATA; CONTENTS; PREFACE; Chapter 1: FUZZY LOGIC INFERENCING FOR PONG (FLIP); Abstract; Introduction; Literature Survey; Problem Formulation; Research Methodology; Results; Conclusion; Future Work; Acknowledgments; Appendix; References; Chapter 2: DISLOG: A LOGIC-BASED LANGUAGE FOR PROCESSING DISCOURSE; Abstract; 1. Introduction; 2. Discourse Analysis Challenges and Results; 3. The Three Components of Discourse Processing; 4. The Dislog Language; 5. The Engine. 
505 8 |a 6. Current Main Applications7. Conclusion; References; Chapter 3: SEProlog: A SET EXTENSION OF Prolog; Abstract; 1. Introduction; 2. The Syntactical Description Of SEProlog; 3. An Example of Application of SEProLog; 4. A Semantical Interpretation of SEProlog; 5. Summaries; References; Chapter 4: DIRECT GRAPHICAL REPRESENTATION OF FIRST-ORDER LOGIC FOR INFERENCE; Abstract; 1. Introduction; 2. High-level Petri-net; 3. Data-flow-based KTN; 4. Petri-net-based KTN; 5. Conclusion and Discussions; References; INDEX. 
590 |a eBooks on EBSCOhost  |b EBSCO eBook Subscription Academic Collection - Worldwide 
650 0 |a Logic programming. 
650 6 |a Programmation logique. 
650 7 |a COMPUTERS  |x Programming  |x Open Source.  |2 bisacsh 
650 7 |a COMPUTERS  |x Software Development & Engineering  |x Tools.  |2 bisacsh 
650 7 |a COMPUTERS  |x Software Development & Engineering  |x General.  |2 bisacsh 
650 7 |a Logic programming.  |2 fast  |0 (OCoLC)fst01002056 
700 1 |a Lambert, Marcus J.,  |e editor. 
776 0 8 |i Print version:  |a Logic programming (Nova Science Publishers).  |t Logic programming  |z 9781631178535  |w (DLC) 2014013786  |w (OCoLC)875240645 
830 0 |a Computer science, technology and applications. 
856 4 0 |u https://ebsco.uam.elogim.com/login.aspx?direct=true&scope=site&db=nlebk&AN=776132  |z Texto completo 
938 |a ProQuest Ebook Central  |b EBLB  |n EBL3024260 
938 |a EBSCOhost  |b EBSC  |n 776132 
938 |a YBP Library Services  |b YANK  |n 11778470 
994 |a 92  |b IZTAP