Proceedings : Fourth Annual Symposium on Logic in Computer Science

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Médium: Kniha
Jazyk:angličtina
Vydáno: Washington, D.C. ; Tokyo IEEE Computer Society Press 1989
Témata:
Electronic data processing > Congresses
Electronic digital computers > Programming > Congresses
ISBN:0818659548, 9780818689543, 9780818619540, 9780818659546, 0818689544, 0818619546
On-line přístup:Získat plný text
Tagy: Přidat tag
Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!
Author IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
Symposium on Logic in Computer Science
Author_xml – sequence: 1
  fullname: Symposium on Logic in Computer Science
– sequence: 2
  fullname: IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
BackLink https://cir.nii.ac.jp/crid/1130000794155035392$$DView record in CiNii
BookMark eNotj01LAzEURQNaqK39D1m4Hchnk7irg1VhQKG6ljdv3tRIJymTzsJ_b4vexT3czYG7YNcpJ7piC-GlX9tgjZ-xuQ_C6_Ocs1Up3-Ica73x7oY9vI0ZibqY9oXf822extMX36Q0wYHvfoZjLnEaeE68yfuIPCZe5-E4nWjkO4yUkG7ZrIdDodU_l-xj-_heP1fN69NLvWkqUE7qqleqFdr1ZIFUh7RGGaB1QqIxYEH0CB0Eg0KbTinqTKA2KGtU2wMaB3rJ7v68KcZPjJeWUl_OuGCktUJbHZT-BQBPR94
ContentType Book
DBID RYH
DatabaseName CiNii Complete
DeliveryMethod fulltext_linktorsrc
DocumentTitleAlternate 89CH27532 1954 264620X
Proceedings : Fourth Annual Symposium on Logic in Computer Science, June 5-8,1989, Asilomar Conference Center, Pacific Grove, California
ExternalDocumentID BA06930406
GroupedDBID 6IE
6IK
AAJGR
AAWTH
ACGHX
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
OCL
RIE
RYH
ID FETCH-LOGICAL-a2713-f22b037fe5ae2dce6c19ab701c44a5a0fcada94c034d22ed49eb92542bfac47a3
ISBN 0818659548
9780818689543
9780818619540
9780818659546
0818689544
0818619546
IngestDate Thu Jun 26 22:48:09 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCN 89083865
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-a2713-f22b037fe5ae2dce6c19ab701c44a5a0fcada94c034d22ed49eb92542bfac47a3
Notes Computer Society order number 1954
Includes bibliographies and index
IEEE catalog number 89CH2753-2
ParticipantIDs nii_cinii_1130000794155035392
PublicationCentury 1900
PublicationDate c1989
PublicationDateYYYYMMDD 1989-01-01
PublicationDate_xml – year: 1989
  text: c1989
PublicationDecade 1980
PublicationPlace Washington, D.C. ; Tokyo
PublicationPlace_xml – name: Washington, D.C. ; Tokyo
PublicationYear 1989
Publisher IEEE Computer Society Press
Publisher_xml – name: IEEE Computer Society Press
SSID ssj0000558487
Score 1.876399
SourceID nii
SourceType Publisher
SubjectTerms Electronic data processing -- Congresses
Electronic digital computers -- Programming -- Congresses
Title Proceedings : Fourth Annual Symposium on Logic in Computer Science
URI https://cir.nii.ac.jp/crid/1130000794155035392
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1NT9wwELXoikNvRQUBLciHXoO8_ojj3gCBeilCAiRuaOLYUg6Eil0Q_fedsRPvgipVHHqxMrHjKHm2PGPPvGHsm3Ay1h4MDt4QKh28qaAVqjIBonJR1UpCSjZhLy6a21t3OaYHW6R0AnYYmpcX9-u_Qo33EGwKnX0H3KVTvIHXCDqWCDuWbzTiImbEL8tatEiG_jkOEzqTyQz6V7_vyUHr6Z6OByjDss8BfzmpwzTHy4bLu1qTxbhWmR1Bj_K2fRoEFIbSL5chUHc_C1Ms1qzSOiWfktzJtJx2UNytXu1G_PV9r7xJsuGaiPSIbE6s1qHiHXhyLChBoyYm9Q-2tjkqr-ycCYNKU2MTmefYSz0JhvjrJqFBQY8kS-V9a7LJTxaZ2hN75ND3azrG9Sc2o7iTLbYRhs_sZA1M_p1nKHmGkhdw-MPAEzi8H_j0P_gIzja7OT-7Pv1RjekuKpB2rqooJc4SG4OBIDsfaj930Fox91qDARE9dOC0F0p3UoZOu9A6tO9lG8FrC2qHzYaHIewyXqMR3nYBWmL_i7pums5IAJARtWcluz12gB9553sq53SiiaqiI91SKIMa8_4_6r-wjyvwv7LZ8vEpHLBN_7zsF4-HCa4_OPM0aw
linkProvider IEEE
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=book&rft.title=Proceedings+%3A+Fourth+Annual+Symposium+on+Logic+in+Computer+Science&rft.au=Symposium+on+Logic+in+Computer+Science&rft.au=IEEE+Computer+Society.+Technical+Committee+on+Mathematical+Foundations+of+Computing&rft.date=1989-01-01&rft.pub=IEEE+Computer+Society+Press&rft.isbn=9780818619540&rft.externalDocID=BA06930406
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818659546/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818659546/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818659546/sc.gif&client=summon&freeimage=true