Proceedings : Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994

Uloženo v:
Podrobná bibliografie
Hlavní autoři: Symposium on Logic in Computer Science, IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing, Institut national de recherche en informatique et en automatique (France)
Médium: Kniha
Jazyk:angličtina
Vydáno: Los Alamitos, Calif. ; Tokyo IEEE Computer Society Press 1994
Témata:
Electronic data processing > Congresses
Electronic digital computers > Programming > Congresses
ISBN:9780818663123, 9780818663109, 081866312X, 0818663103, 9780818663116, 0818663111
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
Institut national de recherche en informatique et en automatique (France)
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
– sequence: 3
  fullname: Institut national de recherche en informatique et en automatique (France)
BackLink https://cir.nii.ac.jp/crid/1130282272594149376$$DView record in CiNii
BookMark eNotjMtKxDAYRgMqqGPf4V8Iblpo7om7oTjOSNWB6lrSJB0j02Ro7GLe3uu3OGdx4LtEpzFFf4IKLVWtsBKCYkLPUZHzR_09zhXT5ALZ7ZSs9y7EXYZb6I7jIeUwj5AitGkXLIQITRoP86efoLPBR-tLaDdNBzealdA8LR9L2Jop5BJWk_nND_P-CKySJWCt2RU6G8w---LfC_S6untp1lX7fL9plm31TrCiFXF4YNybwfa9qLnuVa0HJb2jxllrpKGCE0GZU5JZxy1xsheWGExUXw-Dogt0_fcbQ3iz4YcY05ooQiThmmGmqRT0C3KDTeU
ContentType Book
DBID RYH
DatabaseName CiNii Complete
DeliveryMethod fulltext_linktorsrc
DocumentTitleAlternate 94CH34645
ExternalDocumentID BA22932140
GroupedDBID 6IE
6IK
AAJGR
AAWTH
ACGHX
ALMA_UNASSIGNED_HOLDINGS
BEFXN
BFFAM
BGNUA
BKEBE
BPEOZ
CBEJK
OCL
RIB
RIC
RIE
RYH
ID FETCH-LOGICAL-h2183-2d1f45eafcbb6059b809f87ed3adcca7a3652634d874cd5c2d7b6c2a128b0ff83
ISBN 9780818663123
9780818663109
081866312X
0818663103
9780818663116
0818663111
IngestDate Thu Jun 26 23:56:19 EDT 2025
IsPeerReviewed false
IsScholarly false
Language English
LinkModel OpenURL
MergedId FETCHMERGED-LOGICAL-h2183-2d1f45eafcbb6059b809f87ed3adcca7a3652634d874cd5c2d7b6c2a128b0ff83
Notes "IEEE Catalog Number 94CH3464-5"--T.p. verso
Includes bibliographies and index
ParticipantIDs nii_cinii_1130282272594149376
PublicationCentury 1900
PublicationDate c1994
PublicationDateYYYYMMDD 1994-01-01
PublicationDate_xml – year: 1994
  text: c1994
PublicationDecade 1990
PublicationPlace Los Alamitos, Calif. ; Tokyo
PublicationPlace_xml – name: Los Alamitos, Calif. ; Tokyo
PublicationYear 1994
Publisher IEEE Computer Society Press
Publisher_xml – name: IEEE Computer Society Press
SSID ssj0000558492
Score 1.8778201
SourceID nii
SourceType Publisher
SubjectTerms Electronic data processing -- Congresses
Electronic digital computers -- Programming -- Congresses
Title Proceedings : Symposium on Logic in Computer Science, LICS '94, CNAM, Paris, France, July 4-7, 1994
URI https://cir.nii.ac.jp/crid/1130282272594149376
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwtV3Ni9QwFA-zgwdviopfKzkIHraVNkmb1Nu6KHrYYcEV9iZpPrDgdmS2s-z-K_61vpe0mY4I6sFLaBJIad5r8_u9vg9CXnotaieZzwvOTA6I2OYNK6ockAOcjk55oXQoNiFXK3Vx0ZwtFj-mWJjrb7Lv1c1N8_2_ihrGQNgYOvsP4k6LwgBcg9ChBbFD-wsiTt0o8bN0Fl0Fov_p9hJdsraX-EMAayqbGOIXyzhMb3Ug5h9PkM7DSxPspqvj0wguNzEBQSi-4cZo6tsjkUu8xnS_yT7zV7dKaggEczYZ_UZfRyt_0BmMWumGwTlc7jQlloWZXRWo4IISF5lOX1x69H04SkZOi3VhUDMNeq-gX-cI00Pe2gGH9HZYTyMAuKfHbXYWkZjaeM8i8tuH2PNoieQ5JvvDzKi7szB5KL49ZgCEGNDPA3IAlCxGBibrXVEBcGsCzZ9W4bNOWc46bEr0lO633y_r_X6onNV33QznnN8jS4x9uU8Wrn9AzEyh6BuaZEzXPQ0ypl1Ppx2go4wzispEXzUio6hIGQ1qlNG4qxlFFaKgQhnFTX1IPr9_d37yIR9rcuRfEUznzJZeVE5707bAhJtWFY1X0lmuLXwMpOZ1xWourJLC2MowK9vaMA0wqC28V_wRWfbr3j0mtORG-1ZVxlgtBPO65QCuhRGi9i3j9RNyCLvwxXTYlviDHcCsBLougNXDufj0D_PPyN2ddjwny2GzdYfkjrkeuqvNiyDPnxtTZPU
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+Symposium+on+Logic+in+Computer+Science%2C+LICS+%2794%2C+CNAM%2C+Paris%2C+France%2C+July+4-7%2C+1994&rft.au=Symposium+on+Logic+in+Computer+Science&rft.au=IEEE+Computer+Society.+Technical+Committee+on+Mathematical+Foundations+of+Computing&rft.au=Institut+national+de+recherche+en+informatique+et+en+automatique+%28France%29&rft.date=1994-01-01&rft.pub=IEEE+Computer+Society+Press&rft.isbn=9780818663109&rft.externalDocID=BA22932140
thumbnail_l http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818663123/lc.gif&client=summon&freeimage=true
thumbnail_m http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818663123/mc.gif&client=summon&freeimage=true
thumbnail_s http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=9780818663123/sc.gif&client=summon&freeimage=true