View in EDS PDF Full Text

Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday

Saved in:
Bibliographic Details
Title: Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday
Description: The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting.
Authors: Byunghan Kim, Toshiyasu Arai, Yue Yang, Guohua Wu, Qi Feng
Resource Type: eBook.
Subjects: Logic, Symbolic and mathematical--Congresses
Categories: MATHEMATICS / Logic, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Logic Design
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 426416
RelevancyScore: 1044
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 1044.26904296875
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$426416$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$426416$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday
– Name: Abstract
  Label: Description
  Group: Ab
  Data: The Asian Logic Conference is part of the series of logic conferences inaugurated in Singapore in 1981. It is normally held every three years and rotates among countries in the Asia-Pacific region. The 11th Asian Logic Conference was held at the National University of Singapore, in honor of Professor Chong Chitat on the occasion of his 60th birthday. The conference is on the broad area of logic, including theoretical computer science. It is considered a major event in this field and is regularly sponsored by the Association of Symbolic Logic. This volume contains papers from this meeting.
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Byunghan+Kim%22">Byunghan Kim</searchLink><br /><searchLink fieldCode="AR" term="%22Toshiyasu+Arai%22">Toshiyasu Arai</searchLink><br /><searchLink fieldCode="AR" term="%22Yue+Yang%22">Yue Yang</searchLink><br /><searchLink fieldCode="AR" term="%22Guohua+Wu%22">Guohua Wu</searchLink><br /><searchLink fieldCode="AR" term="%22Qi+Feng%22">Qi Feng</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Logic%2C+Symbolic+and+mathematical--Congresses%22">Logic, Symbolic and mathematical--Congresses</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+Artificial+Intelligence+%2F+General%22">COMPUTERS / Artificial Intelligence / General</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=426416
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 511.3
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Logic, Symbolic and mathematical--Congresses
        Type: general
    Titles:
      – TitleFull: Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Byunghan Kim
      – PersonEntity:
          Name:
            NameFull: Toshiyasu Arai
      – PersonEntity:
          Name:
            NameFull: Yue Yang
      – PersonEntity:
          Name:
            NameFull: Guohua Wu
      – PersonEntity:
          Name:
            NameFull: Qi Feng
      – PersonEntity:
          Name:
            NameFull: Byunghan Kim
      – PersonEntity:
          Name:
            NameFull: Toshiyasu Arai
      – PersonEntity:
          Name:
            NameFull: Yue Yang
      – PersonEntity:
          Name:
            NameFull: Guohua Wu
      – PersonEntity:
          Name:
            NameFull: Qi Feng
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2012
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9789814360531
            – Type: isbn-electronic
              Value: 9789814360548
          Titles:
            – TitleFull: Proceedings Of The 11th Asian Logic Conference: In Honor Of Professor Chong Chitat On His 60th Birthday
              Type: main
ResultId 1