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

Gespeichert in:
Bibliographische Detailangaben
Hauptverfasser: 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)
Format: Buch
Sprache:Englisch
Veröffentlicht: Los Alamitos, Calif. ; Tokyo IEEE Computer Society Press 1994
Schlagworte:
Electronic data processing > Congresses
Electronic digital computers > Programming > Congresses
ISBN:9780818663123, 9780818663109, 081866312X, 0818663103, 9780818663116, 0818663111
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
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/eLvHCXMwtV1La9wwEBabJYfcWpLQV4oOhRxil7UtW1Jv25DSQrMEkpbcgvUwNTTesvGG7F_Jr82MZGu9oZD2EBaERwIZa0ar-UbzIOSD5pku8ozFBuBDzDgrY6ENj7XNFWynzAp3XfDzO5_NxOWlPBuN7vtYmNvfvGnE3Z3886yshj5gNobO_ge7w6TQAc_AdGiB7dA-0ogD6Tl-Fs6iGwf0z1fX6JK1vMYLAayprH2Iny_j0O9qB8y_HSOch03j7Kaz6alXLhc-AYErvmG7aOrVEYs5PmO632Cf-adXBTEEgDkY9H6jH72V38kMRq3UbWstTncaEsvCyLoKlHNB8ZP0py9O3fk-HAUjp8G6MCiZGr1X0K-zU9Nd3toWu8plO-97QOHuP1euLSI-tfGGReSvH7Hh0eLBs0_2h5lR12dh8FD8PE1BEUoBfm6RLYBkPjIwWO8mOShu0sH8fpZsQCTJgEj7RE_hfZt0UmzSrnJWU9cDPefiBRlj7MtLMrLNLtEDgaKfaOAxnTfU8ZjWDe1XgHY8jigKEz2ULKIoSBF1YhRRv6oRRRGiIEIRxUXdIz--nFwcf427mhzxL1Sm49QkFcttWWmlAAlLJSayEtyarDTwZ8DLrMjTImNGcKZNrlPDVaHTEtQgNakqke2TcTNv7CtCMRWgzFOjVZkwPZGqMKCPGiOFEAp-r8kBrMKVrrFN8IIdlFkOcJ0Bqodz8c0T42_Jzlo63pFxu1jaA7Ktb9v6ZvHe8fMBGlFlPg
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