skip to content
Logical methods in computer science : LMCS Preview this item
ClosePreview this item
Checking...

Logical methods in computer science : LMCS

Publisher: [S.l.] : Institute of Theoretical Computer Science.
Edition/Format:   Journal, magazineView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy online

Links to this item

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Material Type: Internet resource
Document Type: Journal / Magazine / Newspaper, Internet Resource
ISSN:1860-5974
OCLC Number: 637830155
Other Titles: LMCS

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/637830155> # Logical methods in computer science : LMCS
    a schema:CreativeWork, schema:Periodical ;
   library:oclcnum "637830155" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/505014098#Place/s_l> ; # S.l.
   schema:about <http://experiment.worldcat.org/entity/work/data/505014098#Thing/programmation_declarative_+_programmation_logique_methodes_de_programmation> ; # PROGRAMMATION DÉCLARATIVE + PROGRAMMATION LOGIQUE (MÉTHODES DE PROGRAMMATION)
   schema:about <http://experiment.worldcat.org/entity/work/data/505014098#Thing/deklarative_programmierung_+_logische_programmierung_programmiermethoden> ; # DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN)
   schema:about <http://experiment.worldcat.org/entity/work/data/505014098#Thing/periodiques_electroniques_+_series_electroniques_types_des_documents> ; # PÉRIODIQUES ÉLECTRONIQUES + SÉRIES ÉLECTRONIQUES (TYPES DES DOCUMENTS)
   schema:about <http://experiment.worldcat.org/entity/work/data/505014098#Thing/elektronische_zeitschriften_+_elektronische_schriftenreihen_dokumententyp> ; # ELEKTRONISCHE ZEITSCHRIFTEN + ELEKTRONISCHE SCHRIFTENREIHEN (DOKUMENTENTYP)
   schema:about <http://experiment.worldcat.org/entity/work/data/505014098#Thing/electronic_journals_+_online_serials_document_types> ; # ELECTRONIC JOURNALS + ONLINE SERIALS (DOCUMENT TYPES)
   schema:about <http://experiment.worldcat.org/entity/work/data/505014098#Thing/declarative_programming_+_logic_programming_programming_methods> ; # DECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS)
   schema:alternateName "LMCS" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/505014098> ;
   schema:name "Logical methods in computer science : LMCS" ;
   schema:productID "637830155" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/637830155#PublicationEvent/s_l_institute_of_theoretical_computer_science> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/505014098#Agent/institute_of_theoretical_computer_science> ; # Institute of Theoretical Computer Science.
   schema:url <http://sfx.ethz.ch/sfx_locater?sid=ALEPH:EBI01&genre=journal&issn=1860-5974> ;
   schema:workExample <http://worldcat.org/issn/1860-5974> ; # Logical methods in computer science : LMCS
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/637830155> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/505014098#Agent/institute_of_theoretical_computer_science> # Institute of Theoretical Computer Science.
    a bgn:Agent ;
   schema:name "Institute of Theoretical Computer Science." ;
    .

<http://experiment.worldcat.org/entity/work/data/505014098#Thing/declarative_programming_+_logic_programming_programming_methods> # DECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS)
    a schema:Thing ;
   schema:name "DECLARATIVE PROGRAMMING + LOGIC PROGRAMMING (PROGRAMMING METHODS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/505014098#Thing/deklarative_programmierung_+_logische_programmierung_programmiermethoden> # DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN)
    a schema:Thing ;
   schema:name "DEKLARATIVE PROGRAMMIERUNG + LOGISCHE PROGRAMMIERUNG (PROGRAMMIERMETHODEN)" ;
    .

<http://experiment.worldcat.org/entity/work/data/505014098#Thing/electronic_journals_+_online_serials_document_types> # ELECTRONIC JOURNALS + ONLINE SERIALS (DOCUMENT TYPES)
    a schema:Thing ;
   schema:name "ELECTRONIC JOURNALS + ONLINE SERIALS (DOCUMENT TYPES)" ;
    .

<http://experiment.worldcat.org/entity/work/data/505014098#Thing/elektronische_zeitschriften_+_elektronische_schriftenreihen_dokumententyp> # ELEKTRONISCHE ZEITSCHRIFTEN + ELEKTRONISCHE SCHRIFTENREIHEN (DOKUMENTENTYP)
    a schema:Thing ;
   schema:name "ELEKTRONISCHE ZEITSCHRIFTEN + ELEKTRONISCHE SCHRIFTENREIHEN (DOKUMENTENTYP)" ;
    .

<http://experiment.worldcat.org/entity/work/data/505014098#Thing/periodiques_electroniques_+_series_electroniques_types_des_documents> # PÉRIODIQUES ÉLECTRONIQUES + SÉRIES ÉLECTRONIQUES (TYPES DES DOCUMENTS)
    a schema:Thing ;
   schema:name "PÉRIODIQUES ÉLECTRONIQUES + SÉRIES ÉLECTRONIQUES (TYPES DES DOCUMENTS)" ;
    .

<http://experiment.worldcat.org/entity/work/data/505014098#Thing/programmation_declarative_+_programmation_logique_methodes_de_programmation> # PROGRAMMATION DÉCLARATIVE + PROGRAMMATION LOGIQUE (MÉTHODES DE PROGRAMMATION)
    a schema:Thing ;
   schema:name "PROGRAMMATION DÉCLARATIVE + PROGRAMMATION LOGIQUE (MÉTHODES DE PROGRAMMATION)" ;
    .

<http://worldcat.org/entity/work/id/505014098>
   umbel:isLike <http://worldcat.org/issn/1860-5974> ; # Logical methods in computer science : LMCS
    .

<http://worldcat.org/issn/1860-5974> # Logical methods in computer science : LMCS
    a schema:Periodical ;
   schema:issn "1860-5974" ;
   schema:name "Logical methods in computer science : LMCS" ;
   umbel:isLike <http://worldcat.org/entity/work/id/505014098> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.