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.019 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.427 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: 118-123

Issues: 1

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.104 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.57 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: 849-896

Issues: 1

Information Processing Letters

Product Type: Journal

First Published: 1971

Journal: 0020-0190

SNIP: 0.965 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.481 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: 165-172

Issues: 1