• Home
  • Advanced Search
  • Directory of Libraries
  • About lib.ir
  • Contact Us
  • History
  • ورود / ثبت نام
تعداد ۷۲ پاسخ غیر تکراری از ۷۴ پاسخ تکراری در مدت زمان ۰,۴۱ ثانیه یافت شد.

61. Structural Complexity I

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: by José Luis Balcázar, Josep Díaz, Joaquim Gabarró.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computer science.,Logic, Symbolic and mathematical.

Classification :

62. The Ordered Weighted Averaging Operators

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: edited by Ronald R. Yager, Janusz Kacprzyk.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Artificial intelligence.,Information Systems.,Logic, Symbolic and mathematical.,Mathematics.

Classification :

63. The P=NP question and Geodel's lost letter

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Richard J. Lipton

Library: Central Library and Information Center of Shahed University (Tehran)

Subject: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical

Classification :
QA
،
9
.
65
،.
L57
،
2010

64. The P=NP question and Geodel's lost letter

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: / Richard J. Lipton

Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)

Subject: Geodel's theorem,Computational complexity,Computer algorithms,Logic, Symbolic and mathematical

Classification :
E-BOOK

65. The strange logic of random graphs

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Spencer, Joel H.

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Random graphs,، Logic, Symbolic and mathematical

Classification :
QA
166
.
17
.
S64
2001

66. The logic of partial information

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Nait Abdallah, Areski

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

Classification :
QA
76
.
7
.
N35
1995

67. The logic of partial information

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Nait Abdallah, Areski, 0591-

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Programming languages )Electronic computers( -- Semantics,، Computer algorithms,، Logic, Symbolic and mathematical

Classification :
QA
76
.
7
.
N3

68. The strange logic of random graphs

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Spencer, Joel H.

Library: Central Library and Documentation Center (Semnan)

Subject: ، Random graphs,، Logic, Symbolic and mathematical

Classification :
QA
166
.
17
.
S64
2001

69. The strange logic of random graphs

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Spencer, Joel H.

Library: Library of Institute for Research in Fundamental Sciences (Tehran)

Subject: ، Random graphs,، Logic, Symbolic and mathematical

Classification :
QA
166
.
17
.
S64

70. Traffic Control and Transport Planning:

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: by Dušan Teodorović, Katarina Vukadinović.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Civil engineering.,Logic, Symbolic and mathematical.,Mathematics.,Regional economics.

Classification :

71. Trends in mathematics and computational intelligence /

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: Maria Eugenia Cornejo, Laszlo T. Koczy, Jesus Medina, Antonio Eduardo De Barros Ruano, editors.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Computational intelligence.,Computational intelligence.

Classification :
Q342
.
T74
2019eb

72. 8th International Conference on Automated Deduction :

  • اطلاعات استناد دهی
  • BibTex (Only for Users)
  • RIS (Only for Users)
  • Endnote (Only for Users)
  • Refer (Only for Users)
  • Mark (Only for Users)

Author: edited by Jörg H. Siekmann.

Library: Center and Library of Islamic Studies in European Languages (Qom)

Subject: Automatic theorem proving -- Congresses.,Automatic theorem proving.,Logic, Symbolic and mathematical -- Congresses.

Classification :
  • »
  • 4
  • 3
  • 2
  • 1
  • «

Proposal/Bug Report

Warning! Enter The Information Carefully
Send Cancel
This website is managed by Dar Al-Hadith Scientific-Cultural Institute and Computer Research Center of Islamic Sciences (also known as Noor)
Libraries are responsible for the validity of information, and the spiritual rights of information are reserved for them
Best Searcher - The 5th Digital Media Festival