Search Results for Combinatory logic.

6 sonuç bulundu

000000DEFAULT_TR

Combinatory logic

Yazar

Curry, Haskell B. (Haskell Brooks), 1900-1982. Feys, Robert. Craig, William, 1918-

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780444533876

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Combinatory logic. Volume II

Yazar

Curry, Haskell B. (Haskell Brooks), 1900-1982. Hindley, J. Roger. Seldin, J. P.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780720422085

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Combinatory logic pure, applied and typed

Yazar

Bimb,̤ Katalin, 1963-

Yer Numarası

ONLINE

Elektronik Erişim

Distributed by publisher. Purchase or institutional license may be required for access.

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Intersection and union types for combinatory logic and principal type-scheme for concurrent lambda-calculus.

Yazar

Aoun, Ali Salem

Yer Numarası

TEZ 3422 DR. 1996

Format:

Durum

Beytepe Kütüphanesi~1

Rafta:
Kopya:

Algorithmic Foundations of Robotics XV Proceedings of the Fifteenth Workshop on the Algorithmic Foundations of Robotics

Yazar

LaValle, Steven M. editor. O'Kane, Jason M. editor. Otte, Michael. editor. Sadigh, Dorsa. editor. Tokekar, Pratap. editor.

Yer Numarası

ONLINE

Elektronik Erişim

https://doi.org/10.1007/978-3-031-21090-7

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

Algebra of proofs

Yazar

Szabo, M. E.

Yer Numarası

ONLINE

Elektronik Erişim

ScienceDirect http://www.sciencedirect.com/science/book/9780720422863

Format:

Durum

Çevrimiçi Kütüphane~1

Rafta:
Kopya:

	{displayName}	{count}
{error}