View in EDS PDF Full Text

Symbolic Logic and Logic Processing

Saved in:
Bibliographic Details
Title: Symbolic Logic and Logic Processing
Description: Artificial Intelligence is a blend of three main academic disciplines namely psychology (cognitive science), philosophy (mind) and computer science with further strands from mathematics, logic and linguistics. Symbolic Logic and Logic Processing is primarily designed for post graduate and graduate students of computer sicence, compiler engineering, computer applications and information technology.
Authors: Bindu Bansal
Resource Type: eBook.
Subjects: Artificial intelligence, Expert systems (Computer science), Prolog (Computer program language), Logic programming, Logic programming languages
Categories: MATHEMATICS / Logic, COMPUTERS / Logic Design
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 1227290
RelevancyScore: 1051
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1050.81640625
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$1227290$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$1227290$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Symbolic Logic and Logic Processing
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Artificial Intelligence is a blend of three main academic disciplines namely psychology (cognitive science), philosophy (mind) and computer science with further strands from mathematics, logic and linguistics. Symbolic Logic and Logic Processing is primarily designed for post graduate and graduate students of computer sicence, compiler engineering, computer applications and information technology.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Bindu+Bansal%22">Bindu Bansal</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Artificial+intelligence%22">Artificial intelligence</searchLink><br /><searchLink fieldCode="DE" term="%22Expert+systems+%28Computer+science%29%22">Expert systems (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Prolog+%28Computer+program+language%29%22">Prolog (Computer program language)</searchLink><br /><searchLink fieldCode="DE" term="%22Logic+programming%22">Logic programming</searchLink><br /><searchLink fieldCode="DE" term="%22Logic+programming+languages%22">Logic programming languages</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22MATHEMATICS+%2F+Logic%22">MATHEMATICS / Logic</searchLink><br /><searchLink fieldCode="ZK" term="%22COMPUTERS+%2F+Logic+Design%22">COMPUTERS / Logic Design</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=1227290
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 005.131
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Artificial intelligence
        Type: general
      – SubjectFull: Expert systems (Computer science)
        Type: general
      – SubjectFull: Prolog (Computer program language)
        Type: general
      – SubjectFull: Logic programming
        Type: general
      – SubjectFull: Logic programming languages
        Type: general
    Titles:
      – TitleFull: Symbolic Logic and Logic Processing
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Bindu Bansal
      – PersonEntity:
          Name:
            NameFull: Bindu Bansal
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2013
            – D: 29
              M: 08
              Type: profile
              Y: 2024
          Identifiers:
            – Type: isbn-print
              Value: 9789381159378
            – Type: isbn-electronic
              Value: 9781944534325
          Titles:
            – TitleFull: Symbolic Logic and Logic Processing
              Type: main
ResultId 1