Proceedings : Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA

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: Los Alamitos, CA. ; Tokyo IEEE Computer Society Press 1990
Témata:
Electronic data processing > Congresses
Electronic digital computers > Programming > Congresses
ISBN:9780818690730, 0818690739, 0818660732, 9780818660733, 0818620730, 9780818620737
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/1130282271748050048$$DView record in CiNii
BookMark eNotj01Lw0AYhBe0UK39D-_BYwL78W5211spqVYKFqpn2exumpVkE5rm4L83onOY4YFhYO7JbepTuCFrozTVTBeGKkEXZKlNgUxQXJL1OH7RWVJq1PqONMdL70LwMZ1HeIJdrK8NbFKabAv7sizh9N0N_RinDvoEh_4cHcQE274bpmu4wMnFkFzI4HVKATBXGTBjaAbHJrbWh3Zoop1p80AWtW3HsP7PFfnYle_bl_zw9rzfbg655Sgwr5Uw3BaMCxOCqiWtDaKqRKWtss565qWxziMWVcEF50pZqr0oaiFM5SWKFXn8200xfrr462y-zvXcZQo1lZSiFj_G5lGb
ContentType Book
DBID RYH
DatabaseName CiNii Complete
DeliveryMethod fulltext_linktorsrc
DocumentTitleAlternate 90CH28977
ExternalDocumentID BA10944914
GroupedDBID 6IE
6IK
AAJGR
AAWTH
ACGHX
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
OCL
RIE
RYH
ID FETCH-LOGICAL-a2434-f7392a61239ee7f50f9447b3b8a7acad1d59acd446b6232277a08d36f339bd543
ISBN 9780818690730
0818690739
0818660732
9780818660733
0818620730
9780818620737
IngestDate Thu Jun 26 22:27:24 EDT 2025
IsPeerReviewed false
IsScholarly false
LCCN 89641304
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-a2434-f7392a61239ee7f50f9447b3b8a7acad1d59acd446b6232277a08d36f339bd543
Notes IEEE catalog number 90CH2897-7
Includes bibliographies and index
ParticipantIDs nii_cinii_1130282271748050048
PublicationCentury 1900
PublicationDate c1990
PublicationDateYYYYMMDD 1990-01-01
PublicationDate_xml – year: 1990
  text: c1990
PublicationDecade 1990
PublicationPlace Los Alamitos, CA. ; Tokyo
PublicationPlace_xml – name: Los Alamitos, CA. ; Tokyo
PublicationYear 1990
Publisher IEEE Computer Society Press
Publisher_xml – name: IEEE Computer Society Press
SSID ssj0000558488
Score 1.8765738
SourceID nii
SourceType Publisher
SubjectTerms Electronic data processing -- Congresses
Electronic digital computers -- Programming -- Congresses
Title Proceedings : Fifth Annual IEEE Symposium on Logic in Computer Science, June 4-7, 1990, Philadelphia, PA
URI https://cir.nii.ac.jp/crid/1130282271748050048
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV1LT9wwELZgxYFbEaC2POQDNzaV4zjruDdAoB4ArQRI3CrbsUUOBMTuIvj3nbETb4qQSg9crEwcOcl8TmbGngchB1wbJnlZZJYLl4lSssxIDT9Dz4VhFSiwPqTMP5eXl9XtrZp21TZnoZyAbNvq5UU9firUcA7AxtDZ_4A7DQon4BhAhxZgh_aNRpzIiPg0yaJZMPTPGo9bMjGBPhp1h1ev9-iktbjHLQKssmxj0F8s7NB_5zFYA5RPkUk8zkGU9GsvmFTy8S462E4T-B8bN81CfJRlZ3Qb_REX-cOUwaCVZj53Doe7SHlloWdZBCp4oMRBeuFbd8F87M3axbv3-8v3JJq5Ie0eh5-RXEqt5Et4fJSDiSoUVjNflRMZY_jSOhsrQcWqqpD6sxuF9cQECN4TCvcsu5RM6X4DGi8uBjRej2GRbdMMNJLrL2SEUSobZMW1m-RuAD39SQPwNAJP8e1pAog-tDQARJuW9jyhHUBjirBTgH1MkY9jOoQcqKMtcnN2en3yK-tKaGSai0JkHt6Ja0yxo5yTvmQeWCVNYSottdV1XpdK21qIiQE9mHMpNavqYuKLQpm6FMU2GbUPrftKqDdOeW-9ZaYW1mittPF56YQHdoDc-0b2gBW_bYNtjvvhoHtKMHgrVqKc-P6P_h2yvpwiu2Q0f1q4PbJmn-fN7Gk_gPoHGvhKNQ
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+Fifth+Annual+IEEE+Symposium+on+Logic+in+Computer+Science%2C+June+4-7%2C+1990%2C+Philadelphia%2C+PA&rft.au=Symposium+on+Logic+in+Computer+Science&rft.au=IEEE+Computer+Society.+Technical+Committee+on+Mathematical+Foundations+of+Computing&rft.date=1990-01-01&rft.pub=IEEE+Computer+Society+Press&rft.isbn=9780818620737&rft.externalDocID=BA10944914
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818690730/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818690730/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818690730/sc.gif&client=summon&freeimage=true