Limit Search Results
Author
Language
Subject
Material Type
Shelf Location
Library
Switch to list view
Switch to thumbnail view
Select an Action
2 Results Found Subscribe to search results
00DEFAULT
Print
1. 
Cover image for İlim felsefe Kur'an ışığında iman
İlim felsefe Kur'an ışığında iman
Author 
el-Cisr, A. Nedim Barışık, Remzi.
Preferred Shelf Number 
BP190.5.S3 C57 2005
Format: 
Availability 
Beytepe Library~1
Available:
Copies:
2. 
Cover image for Adapting Proofs-as-Programs The Curry-Howard Protocol
Adapting Proofs-as-Programs The Curry-Howard Protocol
Author 
Poernomo, Iman Hafiz. author. Wirsing, Martin. author. Crossley, John Newsome. author. SpringerLink (Online service)
Preferred Shelf Number 
ONLINE
Electronic Access 
http://dx.doi.org/10.1007/0-387-28183-5
Format: 
Availability 
Online Library~1
Available:
Copies: