Journal of automated reasoning.

Peer Reviewed

Journal of automated reasoning.

Saved in:
Bibliographic Details
Publication history:Print began with vol. 1, no. 1, published in 1985.
Language:English
Notes:Refereed/Peer-reviewed
Tags: Add Tag
No Tags, Be the first to tag this record!
id 993572020904498
lccn 2004229180
ctrlnum (OCoLC)38266687
(CKB)954926965948
(CONSER) 2004229180
(DE-599)ZDB1479376-3
(MiAaPQ)2028908
(EXLCZ)99954926965948
collection bib_alma
record_format marc
spelling Journal of automated reasoning (Online)
Journal of automated reasoning.
[Dordrecht] : Kluwer Academic Publishers
Oct. 2004- : [Netherlands] : Springer Netherlands
Eight issues yearly, 2009-
Bimonthly, -2008
text txt rdacontent
computer c rdamedia
online resource cr rdacarrier
Print began with vol. 1, no. 1, published in 1985.
Some issues combined.
Description based on: Vol. 18, no. 1 (1997); title from journal information screen (viewed Jan. 25, 1998).
Latest issue consulted: Vol. 50, no. 3 (Mar. 2013) (Springer Lnk, viewed Feb. 7, 2013).
Refereed/Peer-reviewed
Automatic theorem proving Periodicals.
Artificial intelligence Periodicals.
Logic programming Periodicals.
Théorèmes Démonstration automatique Périodiques.
Intelligence artificielle Périodiques.
Programmation logique Périodiques.
0168-7433
language English
format Journal
title Journal of automated reasoning.
spellingShingle Journal of automated reasoning.
title_full Journal of automated reasoning.
title_fullStr Journal of automated reasoning.
title_full_unstemmed Journal of automated reasoning.
title_auth Journal of automated reasoning.
title_alt Journal of automated reasoning (Online)
title_new Journal of automated reasoning.
title_sort journal of automated reasoning.
publisher Kluwer Academic Publishers
Springer Netherlands
dateSpan Print began with vol. 1, no. 1, published in 1985.
issn 1573-0670
0168-7433
callnumber-first Q - Science
callnumber-subject QA - Mathematics
callnumber-label QA76
callnumber-sort QA 276.9 A96 J67
genre_facet Periodicals.
Périodiques.
illustrated Illustrated
dewey-hundreds 500 - Science
dewey-tens 510 - Mathematics
dewey-ones 511 - General principles of mathematics
dewey-full 511.3
dewey-sort 3511.3
dewey-raw 511.3
dewey-search 511.3
oclc_num 38266687
work_keys_str_mv UT journalofautomatedreasoningonline
status_str n
ids_txt_mv (OCoLC)38266687
(CKB)954926965948
(CONSER) 2004229180
(DE-599)ZDB1479376-3
(MiAaPQ)2028908
(EXLCZ)99954926965948
carrierType_str_mv cr
is_hierarchy_title Journal of automated reasoning.
_version_ 1796652548706271234
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01755nas a2200481 a 4500</leader><controlfield tag="001">993572020904498</controlfield><controlfield tag="005">20240413020457.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr#mnu</controlfield><controlfield tag="008">980126c19859999ne br pso 0 a0eng c</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a"> 2004229180</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1479376-3</subfield><subfield code="2">DE-600</subfield></datafield><datafield tag="022" ind1=" " ind2=" "><subfield code="a">1573-0670</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)38266687</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CKB)954926965948</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CONSER) 2004229180</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)ZDB1479376-3</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)2028908</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(EXLCZ)99954926965948</subfield></datafield><datafield tag="042" ind1=" " ind2=" "><subfield code="a">pcc</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">QA76.9.A96</subfield><subfield code="b">.J67</subfield></datafield><datafield tag="082" ind1="0" ind2="4"><subfield code="a">511.3</subfield></datafield><datafield tag="130" ind1="0" ind2=" "><subfield code="a">Journal of automated reasoning (Online)</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Journal of automated reasoning.</subfield></datafield><datafield tag="260" ind1=" " ind2=" "><subfield code="a">[Dordrecht] :</subfield><subfield code="b">Kluwer Academic Publishers</subfield></datafield><datafield tag="260" ind1="3" ind2=" "><subfield code="3">Oct. 2004- :</subfield><subfield code="a">[Netherlands] :</subfield><subfield code="b">Springer Netherlands</subfield></datafield><datafield tag="310" ind1=" " ind2=" "><subfield code="a">Eight issues yearly,</subfield><subfield code="b">2009-</subfield></datafield><datafield tag="321" ind1=" " ind2=" "><subfield code="a">Bimonthly,</subfield><subfield code="b">-2008</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">Print began with vol. 1, no. 1, published in 1985.</subfield></datafield><datafield tag="515" ind1=" " ind2=" "><subfield code="a">Some issues combined.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on: Vol. 18, no. 1 (1997); title from journal information screen (viewed Jan. 25, 1998).</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Latest issue consulted: Vol. 50, no. 3 (Mar. 2013) (Springer Lnk, viewed Feb. 7, 2013).</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Refereed/Peer-reviewed</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Automatic theorem proving</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Artificial intelligence</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Logic programming</subfield><subfield code="v">Periodicals.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Théorèmes</subfield><subfield code="x">Démonstration automatique</subfield><subfield code="v">Périodiques.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Intelligence artificielle</subfield><subfield code="v">Périodiques.</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Programmation logique</subfield><subfield code="v">Périodiques.</subfield></datafield><datafield tag="776" ind1=" " ind2=" "><subfield code="x">0168-7433</subfield></datafield><datafield tag="906" ind1=" " ind2=" "><subfield code="a">JOURNAL</subfield></datafield><datafield tag="ADM" ind1=" " ind2=" "><subfield code="b">2024-04-14 02:58:09 Europe/Vienna</subfield><subfield code="f">system</subfield><subfield code="c">marc21</subfield><subfield code="a">2012-02-25 23:25:52 Europe/Vienna</subfield><subfield code="g">false</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="j">Im ÖAW Netz verfügbar oder Zugriff via ÖAW-Shibboteth-Login</subfield><subfield code="i">SpringerLink - AutoHoldings</subfield><subfield code="P">SpringerLink Journals - AutoHoldings</subfield><subfield code="x">https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&amp;portfolio_pid=5341578170004498&amp;Force_direct=true</subfield><subfield code="Z">5341578170004498</subfield><subfield code="m"> Available from 01/02/1997 volume: 18 issue: 1.</subfield><subfield code="b">Available</subfield><subfield code="8">5341578170004498</subfield></datafield><datafield tag="AVE" ind1=" " ind2=" "><subfield code="Z">5341578170004498</subfield><subfield code="A">1997</subfield><subfield code="G">18</subfield><subfield code="I">1</subfield></datafield></record></collection>

Similar Items