Normal view MARC view ISBD view

Logics and Type Systems in Theory and Practice

By:

Venanzio Capretta

Contributor(s):

Material type:

Computer fileSeries: Lecture Notes in Computer SciencePublication details: Springer; 2024Edition: 2024ISBN:

9783031258917

Subject(s):

Online resources:

Click here to access online

Tags from this library: No tags from this library for this title. Log in to add tags.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Comments ( 0 )

Holdings
Item type	Home library	Collection	Status	Barcode
E-BOOKS	EBOOKS-SPRINGER	COMMEMORATIVE VOLUME	Not for loan	EBK23784

There are no comments on this title.

to post a comment.

Back to results

82561 Remorse and Reparation
by Cox, Murray.
82562 Managing High Security Psychiatric Care
by Kaye, Charles.-Franey, Alan.
82563 Good Practice in Working with Violence
by Kemshall, Hazel-Pritchard, Jacki.
82564 Effective Ways of Working with Children and Their Families
by Malcolm Hill
82565 Working with Sex Offenders in Prisons and Through Release to the Community
by Alec Spencer
82566 Of Caves and Shell Mounds
by Kenneth C. Carstens-Patty Jo Watson
82567 Lift every voice : African American oratory, 1787-1900
by Foner, Philip Sheldon-Branham, Robert J.
82568 The reach and grasp of policy analysis : comparative views of the craft
by Hofferbert, Richard I.-University of Alabama.
82569 Encounters with American Ethnic Cultures
by Philip L. Kilbride-Jane C. Goodale-Elizabeth R. Ameisen
82570 Alabamas state & local governments
by Martin, David L.
82571 Running city hall : municipal administration in America
by Martin, David L.
82572 The Moundville Expeditions of Clarence Bloomfield Moore
by Clarence Bloomfield Moore
82573 Comparing Public Bureaucracies
by B. Guy Peters
82574 The politics of the Peace Corps & VISTA
by Reeves, T. Zane.
82575 Southern Parties and Elections
by Robert P. Steed-Laurence W. Moreland-Tod A. Baker
82576 The Disappearing South?
by Robert P. Steed-Laurence W. Moreland-Tod A. Baker
82577 Holding bureaucrats accountable : politicians and professionals in St. Louis
by Stein, Lana
82578 Life and Death in the Ancient City of Teotihuacan
by Rebecca Storey
82579 Selma, Lord, Selma
by Sheyann Webb-Rachel West Nelson-Frank Sikora
82580 Moundvilles Economy
by Paul D. Welch

Central Library - Coimbatore

Logics and Type Systems in Theory and Practice