All Products

Showing 1 to 15 of 15 Products

Journal of Logical and Algebraic Methods in Programming

Product Type: Journal

First Published: 2014

Journal: 2352-2208

SNIP: 1.156 Source Normalized Impact per Paper (SNIP):
SNIP measures contextual citation impact by weighting citations based on the total number of citations in a subject field.

SJR: 0.432 SCImago Journal Rank (SJR):
SJR is a prestige metric based on the idea that not all citations are the same. SJR uses a similar algorithm as the Google page rank; it provides a quantitative and a qualitative measure of the journal’s impact.

Volumes: 110-117

Issues: 8

Synchronous Precharge Logic

Product Type: Book

Edition: 1

First Published: 2012

Paperback: 978-0-12-398527-9

eBook: 978-0-12-401707-8

Handbook of Automated Reasoning

Product Type: Book

Edition: 1

Volume: 1

First Published: 2001

eBook: 978-0-08-053279-0

Handbook of Automated Reasoning

Product Type: Book

Edition: 1

Volume: II

First Published: 2001

Hardcover: 978-0-444-50812-6

Handbook of Automated Reasoning

Product Type: Book

Edition: 1

Volume: I

First Published: 2001

Hardcover: 978-0-444-82949-8

Handbook of Process Algebra

Product Type: Book

Edition: 1

First Published: 2001

eBook: 978-0-08-053367-4

Handbook of Logic and Language

Product Type: Book

Edition: 1

First Published: 1996

eBook: 978-0-08-053308-7

Principles of Logic and Logic Programming

Product Type: Book

Edition: 1

Volume: 13

First Published: 1996

eBook: 978-0-08-053964-5

Higher Order Logic Theorem Proving and its Applications

Product Type: Book

Edition: 1

Volume: 20

First Published: 1993

eBook: 978-1-4832-9840-5

Tree Automata and Languages

Product Type: Book

Edition: 1

Volume: 10

First Published: 1992

Hardcover: 978-0-444-89026-9

Language in Action

Product Type: Book

Edition: 1

Volume: 130

First Published: 1991

Hardcover: 978-0-444-89000-9

eBook: 978-0-08-093422-8

Logical Foundations of Artificial Intelligence

Product Type: Book

Edition: 1

First Published: 1987

eBook: 978-0-12-801554-4

Digital Logic Design

Product Type: Book

Edition: 2

First Published: 1987

eBook: 978-1-4831-4222-7

Theoretical Computer Science

Product Type: Journal

First Published: 1975

Journal: 0304-3975

SNIP: 1.072 Source Normalized Impact per Paper (SNIP):
SNIP measures contextual citation impact by weighting citations based on the total number of citations in a subject field.

SJR: 0.494 SCImago Journal Rank (SJR):
SJR is a prestige metric based on the idea that not all citations are the same. SJR uses a similar algorithm as the Google page rank; it provides a quantitative and a qualitative measure of the journal’s impact.

Volumes: 801-848

Issues: 48

Information Processing Letters

Product Type: Journal

First Published: 1971

Journal: 0020-0190

SNIP: 0.972 Source Normalized Impact per Paper (SNIP):
SNIP measures contextual citation impact by weighting citations based on the total number of citations in a subject field.

SJR: 0.4 SCImago Journal Rank (SJR):
SJR is a prestige metric based on the idea that not all citations are the same. SJR uses a similar algorithm as the Google page rank; it provides a quantitative and a qualitative measure of the journal’s impact.

Volumes: 153-164

Issues: 12