Tools

LEADER 03154cas a2200745 a 4500

001 ssj0003109;

003 WaSeSS;

005 20251212090320.0;

006 m d ;

007 cr n ;

008 980126c19859999ne bx pss 0 a0eng c;

010 a| 2004229180;

016 7 a| 1479376-32| DE-600;

016 7 a| 0124336842| Uk;

022 a| 1573-0670;

023 0 a| 0168-7433;

029 1 a| AU@b| 000025309237;

029 1 a| AU@b| 000043829021;

029 1 a| AU@b| 000044921514;

029 1 a| AU@b| 000045708427;

029 1 a| NZ1b| 16233024;

029 1 a| NZ1b| 8277499;

029 1 a| OCLCSb| 2841;

029 1 a| OCLCSb| OP-31701;

029 1 a| UKMGBb| 012433684;

029 1 a| AU@b| 000072984577;

029 1 a| AU@b| 000075739570;

030 a| JAREEW;

035 a| (WaSeSS)ssj0003109;

042 a| pcc;

049 a| EREEa| NEHH;

050 00 a| QA76.9.A96;

082 04 a| 511.31| https://id.oclc.org/worldcat/ddc/E36FCxvRFypMfwwH9m83PkkHjp;

130 0 a| Journal of automated reasoning (Online)?| UNAUTHORIZED;

210 0 a| J. autom. reason.b| (Dordr., Online);

222 0 a| Journal of automated reasoningb| (Dordrecht. Online);

245 10 a| Journal of automated reasoningh| [electronic resource].;

260 3| 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;

362 1 a| Began with Vol. 1, issue 1, (Mar. 1985).;

506 a| Available only to authorized users.;

515 a| Some issues combined.;

530 a| Also available in print.;

538 a| Mode of access: World Wide Web.;

588 0 a| Vol. 1, issue 1, (Mar. 1985); title from journal information screen (viewed Jan. 25, 1998).;

588 1 a| Vol. 61, issue 1/4 (June 2018) (Springer Lnk, viewed Nov. 28, 2018).;

650 0 a| Automatic theorem provingv| Periodicals.=| ^A88007;

650 0 a| Artificial intelligencev| Periodicals.=| ^A520475;

650 0 a| Logic programmingv| Periodicals.=| ^A204997;

655 0 a| Electronic journals.=| ^A353035;

850 a| DLC;

856 40 z| Click here for full textu| http://JW3MH2CM6N.search.serialssolutions.com/?V=1.0&L=JW3MH2CM6N&S=JCs&C=JOUROFAUTRE&T=marc;

947 a| (OCoLC)38266687;

949 a| CLICK ON WEB ADDRESSw| ASISh| JOYNER123;

949 a| CLICK ON WEB ADDRESSw| ASISh| HSL79;

949 a| CLICK ON WEB ADDRESSw| ASISh| JMUSIC61;

596 a| 1 3 4;

998 a| 3897016;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3897016-1001l| JNETm| JOYNERr| Ys| Yt| JNESSJOu| 12/31/2015x| EJOURNALz| JERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3897016-2001l| HSLELECm| HSLr| Ys| Yt| HELECu| 12/31/2015x| EJOURNALz| HERESOURCE;

999 a| CLICK ON WEB ADDRESSw| ASISc| 1i| 3897016-3001l| MNETm| JMUSICr| Ys| Yt| MNESSJOu| 12/31/2015x| EJOURNALz| JERESOURCE;

Journal of automated reasoning

Format	Electronic
Publication Info	Dordrecht : Kluwer Academic Publishers
Publication Info	Oct. 2004- : Netherlands : Springer Netherlands
Supplemental Content	Click here for full text
Subjects	Automatic theorem proving--Periodicals. Artificial intelligence--Periodicals. Logic programming--Periodicals.

Uniform title	Journal of automated reasoning (Online)
Frequency	Eight issues yearly, 2009-
Access restriction	Available only to authorized users.
Special numbering	Some issues combined.
Other forms	Also available in print.
Technical details	Mode of access: World Wide Web.
Source of description	Vol. 1, issue 1, (Mar. 1985); title from journal information screen (viewed Jan. 25, 1998).
Source of description	Vol. 61, issue 1/4 (June 2018) (Springer Lnk, viewed Nov. 28, 2018).
Issued in other form	Print version: Journal of automated reasoning 0168-7433
Genre/form	Electronic journals.
LCCN	2004229180
ISSN	1573-0670

Availability

Library	Location	Call Number	Status	Item Actions
	Electronic Resources	Access Content Online	✔ Available

Journal of automated reasoning

Click here for more information about this title

Availability