Journal of automated reasoning.
Saved in:
| 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!
|
| LEADER | 01755nas a2200481 a 4500 | ||
|---|---|---|---|
| 001 | 993572020904498 | ||
| 005 | 20240413020457.0 | ||
| 006 | m o d | ||
| 007 | cr#mnu | ||
| 008 | 980126c19859999ne br pso 0 a0eng c | ||
| 010 | |a 2004229180 | ||
| 016 | 7 | |a 1479376-3 |2 DE-600 | |
| 022 | |a 1573-0670 | ||
| 035 | |a (OCoLC)38266687 | ||
| 035 | |a (CKB)954926965948 | ||
| 035 | |a (CONSER) 2004229180 | ||
| 035 | |a (DE-599)ZDB1479376-3 | ||
| 035 | |a (MiAaPQ)2028908 | ||
| 035 | |a (EXLCZ)99954926965948 | ||
| 042 | |a pcc | ||
| 050 | 4 | |a QA76.9.A96 |b .J67 | |
| 082 | 0 | 4 | |a 511.3 |
| 130 | 0 | |a Journal of automated reasoning (Online) | |
| 245 | 1 | 0 | |a Journal of automated reasoning. |
| 260 | |a [Dordrecht] : |b Kluwer Academic Publishers | ||
| 260 | 3 | |3 Oct. 2004- : |a [Netherlands] : |b Springer Netherlands | |
| 310 | |a Eight issues yearly, |b 2009- | ||
| 321 | |a Bimonthly, |b -2008 | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 362 | 1 | |a Print began with vol. 1, no. 1, published in 1985. | |
| 515 | |a Some issues combined. | ||
| 588 | |a Description based on: Vol. 18, no. 1 (1997); title from journal information screen (viewed Jan. 25, 1998). | ||
| 588 | |a Latest issue consulted: Vol. 50, no. 3 (Mar. 2013) (Springer Lnk, viewed Feb. 7, 2013). | ||
| 500 | |a Refereed/Peer-reviewed | ||
| 650 | 0 | |a Automatic theorem proving |v Periodicals. | |
| 650 | 0 | |a Artificial intelligence |v Periodicals. | |
| 650 | 0 | |a Logic programming |v Periodicals. | |
| 650 | 6 | |a Théorèmes |x Démonstration automatique |v Périodiques. | |
| 650 | 6 | |a Intelligence artificielle |v Périodiques. | |
| 650 | 6 | |a Programmation logique |v Périodiques. | |
| 776 | |x 0168-7433 | ||
| 906 | |a JOURNAL | ||
| ADM | |b 2024-04-14 02:58:09 Europe/Vienna |f system |c marc21 |a 2012-02-25 23:25:52 Europe/Vienna |g false | ||
| AVE | |j Im ÖAW Netz verfügbar oder Zugriff via ÖAW-Shibboteth-Login |i SpringerLink - AutoHoldings |P SpringerLink Journals - AutoHoldings |x https://eu02.alma.exlibrisgroup.com/view/uresolver/43ACC_OEAW/openurl?u.ignore_date_coverage=true&portfolio_pid=5341578170004498&Force_direct=true |Z 5341578170004498 |m Available from 01/02/1997 volume: 18 issue: 1. |b Available |8 5341578170004498 | ||
| AVE | |Z 5341578170004498 |A 1997 |G 18 |I 1 | ||