The Resource Journal of automated reasoning

Journal of automated reasoning

Label
Journal of automated reasoning
Title
Journal of automated reasoning
Subject
Genre
Language
eng
Cataloging source
CUI
Characteristic
periodical
Entry convention
successive entry
Frequency
bimonthly
LC call number
  • WMLC 93/1866
  • QA76.9.A96
LC item number
J67
Original alphabet or script of title
basic roman
Regularity
complete irregular
http://library.link/vocab/subjectName
  • Automatic theorem proving
  • Artificial intelligence
  • Théorèmes
  • Intelligence artificielle
  • Programmation logique
  • Logica
  • Probleemoplossing
  • Computers
  • Artificial intelligence
  • Automatic theorem proving
Label
Journal of automated reasoning
Instantiates
Publication
Note
Title from cover
Abbreviated title
J. autom. reason.
Dimensions
24 cm.
Dimensions
unknown
Extent
v.
Issn
0168-7433
Key title
Journal of automated reasoning
Lccn
sf 93093541
http://bibfra.me/vocab/marc/numberingPerculiarities
Some nos. combined
Other physical details
ill.
Publication date frequency
2000-
Publication designation
Vol. 1, no. 1-
Publication frequency
Eight no a year
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)11936798
Label
Journal of automated reasoning
Publication
Note
Title from cover
Abbreviated title
J. autom. reason.
Dimensions
24 cm.
Dimensions
unknown
Extent
v.
Issn
0168-7433
Key title
Journal of automated reasoning
Lccn
sf 93093541
http://bibfra.me/vocab/marc/numberingPerculiarities
Some nos. combined
Other physical details
ill.
Publication date frequency
2000-
Publication designation
Vol. 1, no. 1-
Publication frequency
Eight no a year
Sound
unknown sound
Specific material designation
remote
System control number
(OCoLC)11936798

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...