Model Theory, Computer Science, and Graph Polynomials

Name: Model Theory, Computer Science, and Graph Polynomials
Brand: Springer, Berlin
SKU: 9783031863189
Price: 1100.75 RON
Availability: InStock

Festschrift in Honor of Johann A. Makowsky

Autor: Klaus Meer, Alexander Rabinovich, Elena Ravve, Andrés Villaveces

Limbă:

Legare: Copertă tare

Editura: Springer, Berlin

Disponibilitate: În depozitul extern

Expediem în 10-13 zile

1 100.75 lei

This festschrift honors Johann A. Makowsky on the occasion of his 75th birthday. Gathering 24 resear...

Informații despre carte

Autor

Klaus Meer, Alexander Rabinovich, Elena Ravve, Andrés Villaveces

Limbă

engleză

Legare

Carte - Copertă tare

Publicat

2025

Pagini

530

EAN

9783031863189

Enbook ID

47701812

Editura

Springer, Berlin

Greutate

1006

Dimensiuni

155 x 235

Descriere completă

This festschrift honors Johann A. Makowsky on the occasion of his 75^th birthday. Gathering 24 research articles authored by scientific companions, friends, and colleagues, it covers a broad variety of areas to which Johann A. Makowsky made significant contributions himself. These include several areas of mathematical logic and its relevance for Computer Science including Graph polynomials, Algorithms for graph invariants, Algorithms and descriptive complexity theory, complexity of real and algebraic computations, Mathematical logic, Model theory, Design and theory of databases, Logic in computer science and AI and Logic programming. The volume is enriched with 4 biographical essays, and two contributions by the celebrant himself.

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Cele mai căutate

Categories

Authors

Publishers

Produse

Produse

Model Theory, Computer Science, and Graph Polynomials

Festschrift in Honor of Johann A. Makowsky

Informații despre carte

Descriere completă

S-ar putea să te intereseze

Clienții care au cumpărat această carte au mai cumpărat și