Logical methods in computer science : : LMCS.

Peer Reviewed

Open Access

Logical methods in computer science : : LMCS.

Saved in:
Bibliographic Details
:
International Federation of Computational Logic.
TeilnehmendeR:
International Federation of Computational Logic.
Publication history:Began with vol. 1, issue 1 (2005).
Language:English
Notes:Refereed/Peer-reviewed
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993574874004498
lccn 2010252108
ctrlnum (OCoLC)56719880
(CKB)1000000000022961
(CONSER)--2010252108
(DE-599)ZDB2170262-7
(EXLCZ)991000000000022961
collection bib_alma
record_format marc
spelling LOG. METHODS COMPUT. SCI
LOG METH COMPUT SCI
LOG. METH. COMPUT. SCI
Log. methods comput. sci.
Logical methods in computer science
Logical methods in computer science : LMCS.
LMCS
Braunschweig, Germany : Technical University of Braunschweig
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Began with vol. 1, issue 1 (2005).
Refereed/Peer-reviewed
Issued by: International Federation of Computational Logic, 2005-
Description based on: Vol. 1, issue 1 (2005); title from journal home page table of contents (viewed Mar. 29, 2010).
Latest issue consulted: Vol. 6, issue 1 (2010) (viewed Mar. 29, 2010).
Unrestricted online access star
Computer logic Periodicals.
Computer science Periodicals.
Informatique Périodiques.
Logique informatique Périodiques.
Computer logic. fast (OCoLC)fst00872265
Computer science. fast (OCoLC)fst00872451
Periodicals. fast (OCoLC)fst01411641
International Federation of Computational Logic.
1860-5974
language English
format Journal
author2 International Federation of Computational Logic.
author_facet International Federation of Computational Logic.
International Federation of Computational Logic.
author2_role TeilnehmendeR
author_corporate International Federation of Computational Logic.
title Logical methods in computer science : LMCS.
spellingShingle Logical methods in computer science : LMCS.
title_sub LMCS.
title_short LOG. METHODS COMPUT. SCI
title_full Logical methods in computer science : LMCS.
title_fullStr Logical methods in computer science : LMCS.
title_full_unstemmed Logical methods in computer science : LMCS.
title_auth Logical methods in computer science : LMCS.
title_alt LMCS
title_new Logical methods in computer science :
title_sort logical methods in computer science : lmcs.
publisher Technical University of Braunschweig
dateSpan Began with vol. 1, issue 1 (2005).
issn 1860-5974
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.9 L63
genre Periodicals. fast (OCoLC)fst01411641
genre_facet Periodicals.
Périodiques.
illustrated Illustrated
oclc_num 56719880
work_keys_str_mv AT internationalfederationofcomputationallogic logicalmethodsincomputersciencelmcs
AT internationalfederationofcomputationallogic lmcs
status_str n
ids_txt_mv (OCoLC)56719880
(CKB)1000000000022961
(CONSER)--2010252108
(DE-599)ZDB2170262-7
(EXLCZ)991000000000022961
carrierType_str_mv cr
is_hierarchy_title Logical methods in computer science : LMCS.
author2_original_writing_str_mv noLinkedField
_version_ 1796652662601547777
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nas-a2200445-a-4500</leader><controlfield tag="001">993574874004498</controlfield><controlfield tag="005">20230801213017.0</controlfield><controlfield tag="006">m-----o--d--------</controlfield><controlfield tag="007">cr-|||||||||||</controlfield><controlfield tag="008">041013c20059999gw-uu-pso-----0----0eng-c</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a"> 2010252108</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">2170262-7</subfield><subfield code="2">DE-600</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)56719880</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)1000000000022961</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CONSER)--2010252108</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)ZDB2170262-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)991000000000022961</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">pcc</subfield></datafield><datafield tag="050" ind1="1" ind2="4"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="210" ind1=" " ind2=" "><subfield code="a">LOG. METHODS COMPUT. SCI</subfield></datafield><datafield tag="210" ind1=" " ind2=" "><subfield code="a">LOG METH COMPUT SCI</subfield></datafield><datafield tag="210" ind1=" " ind2=" "><subfield code="a">LOG. METH. COMPUT. SCI</subfield></datafield><datafield tag="210" ind1="1" ind2=" "><subfield code="a">Log. methods comput. sci.</subfield></datafield><datafield tag="222" ind1=" " ind2="0"><subfield code="a">Logical methods in computer science</subfield></datafield><datafield tag="245" ind1="0" ind2="0"><subfield code="a">Logical methods in computer science :</subfield><subfield code="b">LMCS.</subfield></datafield><datafield tag="246" ind1="3" ind2="0"><subfield code="a">LMCS</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">Braunschweig, Germany :</subfield><subfield code="b">Technical University of Braunschweig</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="362" ind1="1" ind2=" "><subfield code="a">Began with vol. 1, issue 1 (2005).</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Refereed/Peer-reviewed</subfield></datafield><datafield tag="550" ind1=" " ind2=" "><subfield code="a">Issued by: International Federation of Computational Logic, 2005-</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on: Vol. 1, issue 1 (2005); title from journal home page table of contents (viewed Mar. 29, 2010).</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Latest issue consulted: Vol. 6, issue 1 (2010) (viewed Mar. 29, 2010).</subfield></datafield><datafield tag="506" ind1="0" ind2=" "><subfield code="f">Unrestricted online access</subfield><subfield code="2">star</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer logic</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Computer science</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Informatique</subfield><subfield code="v">Périodiques.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Logique informatique</subfield><subfield code="v">Périodiques.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer logic.</subfield><subfield code="2">fast</subfield><subfield code="0">(OCoLC)fst00872265</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer science.</subfield><subfield code="2">fast</subfield><subfield code="0">(OCoLC)fst00872451</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="a">Periodicals.</subfield><subfield code="2">fast</subfield><subfield code="0">(OCoLC)fst01411641</subfield></datafield><datafield tag="710" ind1="2" ind2=" "><subfield code="a">International Federation of Computational Logic.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="x">1860-5974</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">JOURNAL</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-03-19 00:40:02 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2012-02-26 03:18:37 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="i">DOAJ Directory of Open Access Journals</subfield><subfield code="P">DOAJ Directory of Open Access Journals</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5342021790004498&amp;Force_direct=true</subfield><subfield code="Z">5342021790004498</subfield><subfield code="m"> Available from 2004.</subfield><subfield code="b">Available</subfield><subfield code="8">5342021790004498</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="Z">5342021790004498</subfield><subfield code="A">2004</subfield></datafield></record></collection>

Similar Items